Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 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 06:20:37 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||