EEMCS

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

EEMCS EPrints Service


Editor: Bartocci, E.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2013

Laarman, A.W. and Pater, E. and van de Pol, J.C. and Weber, Michael (2013) Guard-based Partial-Order Reduction. In: Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013, 8-9 July 2013, Stony Brook, NY, USA. pp. 227-245. Lecture Notes in Computer Science . Springer Verlag. ISBN 978-3-642-39175-0

This list was generated on Sun May 28 22:22:26 CEST 2017.