EEMCS

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

EEMCS EPrints Service


Editor: Valmari, A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2006

Kastenberg, H. and Rensink, A. (2006) Model Checking Dynamic States in GROOVE. In: Model Checking Software (SPIN), 30 Mar - 1 Apr 2006, Vienna, Austria. pp. 299-305. Lecture Notes in Computer Science 3925. Springer-Verlag. ISBN 3-540-33102-6
Kuntz, G.W.M. and Siegle, M. (2006) Symbolic Model Checking of Stochastic Systems: Theory and Implementation. In: Proceedings of the 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria. pp. 89-107. Lecture Notes in Computer Science 3925. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-33102-5

This list was generated on Fri Apr 21 06:30:33 CEST 2017.