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

Document Versions

Model Checking and Modular Verification –Orna Grumberg, David E. Long — 1991 — ACM Transactions on Programming Languages and Systems