Stefan Leue

Books by Stefan Leue

Total count: 4

• Theoretical and Practical Aspects of SPIN Model Checking5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings

  Springer London, Limited2003-01-01
• Model Checking Software9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

  Springer London, Limited2003-01-01
• Scenarios : Models, Transformations and ToolsInternational Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

  Springer London, Limited2005-01-01
• Formal Methods for Industrial Critical Systems12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

  Springer London, Limited2008-01-01