EEMCS

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

EEMCS EPrints Service


Editor: Visser, W.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

2000

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 Mon May 29 06:51:53 CEST 2017.