EEMCS

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

EEMCS EPrints Service


Editor: Leue, S.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2002

Ruys, T.C. (2002) SPIN Tutorial: How to Become a SPIN Doctor. In: 9th International SPIN Workshop (SPIN 2002). pp. 6-13. Lecture Notes in Computer Science 2318. Springer Verlag.

1999

Ruys, T.C. (1999) Xspin/Project - Integrated Validation Management for Xspin. In: Theoretical and Practical Aspects of SPIN Model Checking.Proceedings of the 5th and 6th International SPIN Workshop, 1999, Trento, Italy. pp. 108-119. Lecture Notes in Computer Science 1680. Springer Verlag. ISBN 3-540-66499-8

This list was generated on Fri May 26 03:35:43 CEST 2017.