Alexander Pretschner · P Alexander
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Model-Based Testing of Reactive Systems: Advanced Lectures | 978-3-540-26278-7 (3-540-26278-4) | 2005 | Manfred Broy · Bengt Jonsson · Joost-Pieter Katoen · Martin Leucker |