Duration Calculus: A Formal Approach to Real-Time Systems Book Discussion
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
by
Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)