Model Checking and Modular Verification (1991)

Cached

Download Links

by Orna Grumberg , David E. Long
Venue:ACM Transactions on Programming Languages and Systems
Citations:271 - 11 self