Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 08:35:43 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||