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

17. SPIN 2010: Enschede, The Netherlands

Jaco van de Pol, Michael Weber (Eds.): Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349 Springer 2010, ISBN 978-3-642-16163-6 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Satisfiability Modulo Theories for Model Checking

Model Checking in Context

Implementation and Performance of Model Checking

LTL and Büchi Automata

Infinite State Models

Concurrent Software

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