Zhou Chaochen, Michael R. Hansen. Duration Calculus - A Formal Approach to Real-Time Systems. Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.