TY  - BOOK
AU  - Zhou, Chaochen
AU  - Hansen, Michael R
TI  - Duration calculus : a formal approach to real-time systems
SN  - 9783540408239
SN  - 200306640
U1  - 005.273 CHA 
PY  - 2004///
CY  - Berlin
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Mathematics - Data processing
KW  - Real-time data processing
N1  - Includes bibliographical references (p. [227]-237) and indexes
ER  -