EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Heljanko, K.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 3.

2012

van der Berg, F.I. and Laarman, A.W. (2012) SpinS: Extending LTSmin with Promela through SpinJa. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 Sept. 2012, London, UK. pp. 95-105. Electronic Notes in Theoretical Computer Science 296. Elsevier. ISSN 1571-0661
van Dijk, T. and Laarman, A.W. and van de Pol, J.C. (2012) Multi-Core BDD Operations for Symbolic Reachability. In: 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012, 17 Sept. 2012, London, UK. pp. 127-143. Electronic Notes in Theoretical Computer Science 296. Elsevier. ISSN 2075-2180

2011

Laarman, A.W. and van de Pol, J.C. (2011) Variations on Multi-Core Nested Depth-First Search. (Invited) In: Proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, 14 Jul 2011, Snowbird, Utah. pp. 13-28. Electronic Proceedings in Theoretical Computer Science 72. EPTCS. ISSN 2075-2180

This list was generated on Mon Mar 27 03:05:32 CEST 2017.