Karsten Strehl. Interval Diagrams: Increasing Efficiency of Symbolic Real-Time Verification. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 99), 13-16 December 1999, Hong Kong, China. pages 488, IEEE Computer Society, 1999. [doi]
Abstract is missing.