TY  - BOOK
AU  - Zhou, Chaochen
AU  - Hansen, Michael R
TI  - Duration calculus: formal approach to real-time systems
SN  - 3540408231
CY  - Berlin
KW  - Real-time data processing
KW  - Formal methods (Computer science)
KW  - Mathematics
KW  - Data processing
ER  -