Model Checking Software : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings /

Documenti analoghi

• Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
  di: Dragan Bo.na.ki, Stefan Leue
  Pubblicazione: (2002, c2002)
• Model Checking Software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings /
  di: Alex Groce, Madanlal Musuvathi
  Pubblicazione: (2011, c2011)
• Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings /
  di: Susanne Graf, Laurent Mounier
  Pubblicazione: (2004, c2004)
• Model Checking Software : 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings /
  di: Alastair Donaldson, David Parker
  Pubblicazione: (2012, c2012)
• Model Checking Software : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /
  di: Antti Valmari
  Pubblicazione: (2006, c2006)