Model-Checking in Dense Real-time (1993)

Cached

Download Links

by Rajeev Alur , Costas Courcoubetis , David Dill
Venue:INFORMATION AND COMPUTATION
Citations:251 - 6 self