An edition of Duration calculus (2004)
A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science. An EATCS Series)
By Chaochen Zhou,Michael R. Hansen
Publish Date
February 12, 2004
Publisher
Springer
Language
eng
Pages
247