Efficient verification of real-time systems: compact data structure and state-space reduction.

Kim Guldstrand Larsen Fredrik Larsson Paul Pettersson Wang Yi Efficient verification of real-time systems: compact data structure and state-space reduction. 14-24 1997 conf/rtss/1997 IEEE Real-Time Systems Symposium http://computer.org/proceedings/rtss/8268/82680014abs.htm db/conf/rtss/rtss1997.html#LarsenLPY97