A verification system for timed interval calculus.

Chunqing Chen, Jin Song Dong, Jun Sun

Browse the full ICSE paper archive.