Duration Calculus A Formal Approach to Real-Time Systems Zhou Chaochen and Michael R. Hansen Monographs in Theoretical Computer Scienc. An EATCS Series Springer, 2004 |
Comments to Michael R. Hansen, E-mail: mrh@imm.dtu.dk
Last update: January 10, 2004