Compositional and Symbolic Model-Checking of Real-Time Systems (1995)

Cached

Download Links

by Kim G. Larsen , Paul Pettersson , Wang Yi
Venue:In Proc. of the 16th IEEE Real-Time Systems Symposium
Citations:67 - 21 self