| Original language | English |
|---|
| Publisher | Springer |
|---|---|
| Number of pages | 257 |
| ISBN (Print) | 3-540-40823-1 |
| Publication status | Published - 2004 |
| Series | Monographs in Theoretical Computer Science. An EATCS Series |
|---|
Duration Calculus: A Formal Approach to Real-Time Systems
- Zhou Chaochen
- , Michael Reichhardt Hansen
Research output: Book/Report › Book › Research › peer-review