Duration calculus : a formal approach to real-time systems / Zhou Chaochen, Michael R. Hansen
- Författare
- Chaochen Zhou
- Språk
- Okänt
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | uuuu-uuuu | Utgivningsland okänt / Ej specificerat | 978-3-662-06784-0 |