Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

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

Number of items: 4.


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


Nguyen, Viet Yen and Ruys, T.C. (2008) Incremental Hashing for SPIN. In: Model Checking Software, Proceedings of the 15th International SPIN Workshop, 10-12 Aug 2008, Los Angeles, CA, USA. pp. 232-249. Lecture Notes in Computer Science 5156. Springer Verlag. ISBN 978-3-540-85113-4


Ruys, T.C. (2000) Low-Fat Recipes for SPIN. In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, August 30 - September 1, 2000, Stanford, California. pp. 287-321. Lecture Notes in Computer Science 1885. Springer Verlag. ISBN 3-540-41030-9
Brinksma, H. and Mader, A.H. (2000) Verification and Optimization of a PLC Control Schedule. In: 7th Int. SPIN Workshop on Model Checking of Software, Stanford Univ., California. pp. 73-92. Springer-Verlag. ISBN 3-540-41030-9

This list was generated on Fri May 26 01:58:43 CEST 2017.