Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:06:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||