Optimality in Abstractions of Model Checking (1995)

Cached

Download Links

by Rance Cleaveland , Purush Iyer , Daniel Yankelevich
Venue:IN SAS'95: PROC. 2D. STATIC ANALYSIS SYMPOSIUM, LECTURE NOTES IN COMPUTER SCIENCE 983
Citations:40 - 0 self