id: 70926419
dt: a
an: 70926419
au: Chen, Chunqing; Dong, Jin Song; Sun, Jun
ti: A verification system for timed interval calculus
so: ICSE, 271-280 (2008).
py: 2008
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1368088.1368126