EEMCS

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

EEMCS EPrints Service


Editor: Mounier, L.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2004

Ruys, T.C. and Holzmann, G.J. (2004) Advanced SPIN Tutorial. In: Model Checking Software. Proceedings of the 11th International SPIN Workshop (SPIN 2004).. pp. 304-305. Lecture notes in Computer Science 2989. Springer Verlag.

This list was generated on Mon May 29 03:44:49 CEST 2017.