Stefan Leue

S. L. · S. Leue

TitelISBN-13Erschei-
nungsjahr
andere Autoren
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers978-3-540-79706-72008
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings978-3-540-43477-12002Dragan Bosnacki
Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers978-3-540-26189-62008Tarja J. Syst??
Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... Notes in Computer Science , Band 1680)978-3-540-66499-42008Mieke Massinek · Dennis Dams · Robert Gerth

Stefan Leufen