| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers ... / Programming and Software Engineering) | 978-3-540-79706-7 | 2008 | Pedro Merino |
| Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings | 978-3-540-43477-1 | 2002 | Dragan Bosnacki |
| Scenarios: Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers | 978-3-540-26189-6 | 2005 | Tarja J. Systä |
| Theoretical and Practical Aspects of SPIN Model Checking: 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, ... | 978-3-540-66499-4 | 1999 | Dennis Dams · Robert Gerth · Mieke Massinek |
S. L. · Stefan Lewe · Stefan Loew · Stefanie Lew · Steffen Lau · Stephan Ley · Stephanie Lee · Stephen Law · Stephen Lay · Stephen Leahy · Stephen Lee · Stephen Liu · Stephen Louw · Stephen Low · Stephen Lowe · Steven L. · Steven Lee · Steven Lowe