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

Cached

Download Links

by Kim Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi
Venue:In Proc. of the 18th IEEE Real-Time Systems Symposium
Citations:59 - 8 self