Re Di Roma-Verlag · Vdm Verlag Dr. Müller
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| High Level Transition Systems of CSP Specifications: and their Application in Automated Testing | 978-3-639-00972-9 (3-639-00972-X) | 2008 | Markus Dahlweid |
| Im Wettlauf mit der Zeit | 978-3-940450-38-8 (3-940450-38-3) | 2008 | |