Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 2. 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
1998
de Vries, R.G. and Tretmans, G.J.
(1998)
On-the-Fly Conformance Testing using Spin.
In: Fourth Workshop on Automata Theoretic Verification with the Spin Model Checker, November 2, 1998, Paris, France.
pp. 115-128.
Ecole Nationale Supérieure des Télécommunications.
ISBN not assigned
This list was generated on Thu May 24 06:37:45 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||