00335nam 2209499 45000010005000000030023000050050009000280080041000370820010000781000028000882600021001162500006001372450060001439499StarLibrary Marc Built20180503201711 ||||| |||||||||||amh  a519.5 aZhou Chaochen And Other bgermany: springer a4 aDuration Calculus A Formal Approach To Real Tim Systems