Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science : an EATCS Series)
by Michael Hansen, Chaochen Zhou
ISBN 13: 9783540408239
Format: Hardcover (264 pages) Publisher: Springer Published: 04 Dec 2003
Save for later