Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2010
Blom, S.C.C. and van de Pol, J.C. and Weber, Michael
(2010)
LTSmin: Distributed and Symbolic Reachability.
In: Computer Aided Verification, 15-19 Jul 2010, Edinburgh.
pp. 354-359.
Lecture Notes in Computer Science 6174.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-14294-9
This list was generated on Thu May 24 05:54:44 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||