| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Duration Calculus | Hardcover | 978-0-387-94881-2 (0-387-94881-3) | 1998 | ||
| Duration Calculus: A Formal Approach to Real-Time Systems | Taschenbuch | 978-3-642-07404-2 (3-642-07404-9) | 2010 | Michael R. Hansen | |
| Duration Calculus: A Formal Approach to Real-Time Systems | Gebunden | 978-3-540-40823-9 (3-540-40823-1) | 2003 | " | |