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