| Titel | Art | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|---|
| Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings | Paperback | 978-3-662-19333-4 (3-662-19333-7) | 2014 |
| Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings | Taschenbuch | 978-3-540-66010-1 (3-540-66010-0) | 2008 |