14. SPIN 2007:
Berlin,
Germany
Dragan Bosnacki, Stefan Edelkamp (Eds.):
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings.
Lecture Notes in Computer Science 4595 Springer 2007, ISBN 978-3-540-73369-0 BibTeX
Invited Contributions
Directed Model Checking
Partial Order Reduction
Program Analysis
Exploration Advances
Modeling and Cases
Tools
Copyright © Sat May 16 23:42:13 2009
by Michael Ley (ley@uni-trier.de)