Duration calculus - a formal approach to real-time systems
- Författare
- Zhou Chaochen
- (Zhou Chaochen, Michael R. Hansen)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 2004 | Tyskland, Berlin | x, 247 sidor. | 3-540-40823-1 |