Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2007
Kattenbelt, M. and Ruys, T.C. and Rensink, A.
(2007)
An Object-Oriented Framework for Explicit-State Model Checking.
In: Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007), 23 March 2007, Eindhoven, The Netherlands.
pp. 84-92.
TUE Computer Science Reports (07-04).
Computer Science Department, Eindhoven University of Technology (TUE).
ISSN 0926-4515
This list was generated on Thu May 24 08:09:47 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||