| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings | 978-3-642-223O5-1 (3-642-223O5-2) | 2011 | Madanlal Musuvathi |
A.G. · Alejo García · Alex Garcia · Álex Garzó · Alex George · Alex Grawoosky · Alex Gross · Alexia Georgiou · Alice George · Alice Gross · Alicia Garcia · Alicia Garza · Alicia Gross · Alicia Grosso · Alissa Grosso · Alix Gres