Efficient verification of real-time systems: Compact data structure and state-space reduction. (1997)

by K Larsen, F Larsson, P Pettersson, W Yi
Venue:In IEEE Real-Time Systems Symposium,