001: 9499
003: Starlibrary PMS 4.5
005: 20180503
066: ^aZh.D
082: ^a519.5
100: ^aZhou Chaochen And Other
240: ^aDuration Calculus A Formal Approach To Real Tim Systems
245: ^aDuration Calculus A Formal Approach To Real Tim Systems
260: ^agerman ^b springer