Portrait 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