11. SPIN 2004:
Barcelona,
Spain
Susanne Graf, Laurent Mounier (Eds.):
Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings.
Lecture Notes in Computer Science 2989 Springer 2004, ISBN 3-540-21314-7 BibTeX
@proceedings{DBLP:conf/spin/2004,
editor = {Susanne Graf and
Laurent Mounier},
title = {Model Checking Software, 11th International SPIN Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
booktitle = {SPIN},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2989},
year = {2004},
isbn = {3-540-21314-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Heuristics and Probabilities
Improvements of SPIN
Validation of Timed Systems
Tool Papers
Abstraction and Symbolic Methods
Applications
Tutorials
Copyright © Sat May 16 23:42:13 2009
by Michael Ley (ley@uni-trier.de)
