Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 2006
Kastenberg, H. and Rensink, A.
(2006)
Model Checking Dynamic States in GROOVE.
In: Model Checking Software (SPIN), 30 Mar - 1 Apr 2006, Vienna, Austria.
pp. 299-305.
Lecture Notes in Computer Science 3925.
Springer-Verlag.
ISBN 3-540-33102-6
Kuntz, G.W.M. and Siegle, M.
(2006)
Symbolic Model Checking of Stochastic Systems: Theory and Implementation.
In: Proceedings of the 13th International SPIN Workshop, March 30 - April 1, Vienna, Austria.
pp. 89-107.
Lecture Notes in Computer Science 3925.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-540-33102-5
This list was generated on Thu May 24 08:31:24 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||