Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction (1997)

by F Larsson, K Larsen, P Pettersson, Wang Yi
Venue:In Proc. of the 18th IEEE Real-Time Systems Symposium