| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings | 978-3-540-43477-1 (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 (3-540-26189-3) | 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 (3-540-66499-8) | 1999 | Dennis Dams · Robert Gerth · Mieke Massinek |
S. L. · Stefan Loew · Stefanie Lew · Steffen Lau · Stephan Ley · Stephanie Lee · Stephen Law · Stephen Lay · Stephen Lee · Stephen Liu · Stephen Louw · Stephen Lowe · Steven L. · Steven Lee · Steven Lowe