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