Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 4. 2011
Laarman, A.W. and van de Pol, J.C. and Weber, Michael
(2011)
Multi-Core LTSmin: Marrying Modularity and Scalability.
In: Proceedings of the Third International Symposium on NASA Formal Methods, NFM 2011, 18-20 Apr 2011, Pasadena, CA, USA.
pp. 506-511.
Lecture Notes in Computer Science 6617.
Springer Verlag.
ISSN 0302-9743
ISBN 978-3-642-20397-8
2008
Nguyen, Viet Yen and Ruys, T.C.
(2008)
Incremental Hashing for SPIN.
In: Model Checking Software, Proceedings of the 15th International SPIN Workshop, 10-12 Aug 2008, Los Angeles, CA, USA.
pp. 232-249.
Lecture Notes in Computer Science 5156.
Springer Verlag.
ISBN 978-3-540-85113-4
2000
Ruys, T.C.
(2000)
Low-Fat Recipes for SPIN.
In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, August 30 - September 1, 2000, Stanford, California.
pp. 287-321.
Lecture Notes in Computer Science 1885.
Springer Verlag.
ISBN 3-540-41030-9
Brinksma, H. and Mader, A.H.
(2000)
Verification and Optimization of a PLC Control Schedule.
In: 7th Int. SPIN Workshop on Model Checking of Software, Stanford Univ., California.
pp. 73-92.
Springer-Verlag.
ISBN 3-540-41030-9
This list was generated on Thu May 24 06:32:38 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||