EEMCS

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

EEMCS EPrints Service


Editor: Holzmann, G.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2011

Laarman, A.W. and van de Pol, J.C. and Weber, Michael (2011) Multi-Core LTSmin: Marrying Modularity and Scalability. In: Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 Apr 2011, Pasadena, CA, USA. pp. 506-511. Lecture Notes in Computer Science 6617. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-20397-8

1998

de Vries, R.G. and Tretmans, G.J. (1998) On-the-Fly Conformance Testing using Spin. In: Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, November 2, 1998, Paris, France. pp. 115-128. Ecole Nationale Supérieure des Télécommunications. ISBN not assigned

This list was generated on Fri May 26 02:14:05 CEST 2017.