EEMCS

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

EEMCS EPrints Service


Editor: Godefroid, P.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2005

Holzmann, G.J. and Ruys, T.C. (2005) Effective Bug Hunting with SPIN and Modex. (Invited) In: Model Checking Software, Proceedings of the 12th International SPIN Workshop, August 22-24, 2005, San Francisco, CA, USA. pp. 24-24. Lecture Notes in Computer Science 3639. Springer Verlag. ISSN 0302-9743 ISBN 3-540-28195-9

This list was generated on Mon May 29 00:47:47 CEST 2017.