Model-Checking in Dense Real-time (1993)

View PDF

Download Links

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