Duration Calculus: A Formal Approach to Real-Time Systems

Chaochen Zhou, Michael R. Hansen

TypeBook [Author]
Year2004    pp. 257
PublisherSpringer
SeriesEATCS: Monographs in Theoretical Computer Science
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering