dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

16. SPIN 2009: Grenoble, France

Corina S. Pasareanu (Ed.): Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Lecture Notes in Computer Science 5578 Springer 2009, ISBN 978-3-642-02651-5 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Contributions

Regular Papers

Last update Thu May 24 04:44:24 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page