Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2007
Weber, Michael
(2007)
An Embeddable Virtual Machine for State Space Generation.
In: Proceedings of the 14th International SPIN Workshop, 1-3 Jul 2007, Berlin, Germany.
pp. 168-186.
Lecture Notes in Computer Science 2595.
Springer Verlag.
ISBN 978-3-540-73369-0
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.
This list was generated on Thu May 24 05:38:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||