TY  - GEN
AU  - Zhou, Chaochen,
AU  - Hansen, Michael R.,
TI  - Duration calculus: a formal approach to real-time systems 
T2  - EATCS monographs on theoretical computer science
SN  - 3540408231 (hardcover : acid-free paper)
AV  - QA76.54 .Z46 2004
PY  - 2004///
CY  - Berlin, New York
PB  - Springer
KW  - Real-time data processing
KW  - Mathematics
KW  - Data processing
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references (p. [227]-237) and indexes
ER  -