Optimality in abstractions of model checking

TitleOptimality in abstractions of model checking
Publication TypeJournal Articles
Year of Publication1995
AuthorsCleaveland R, Iyer P, Yankelevich D
JournalStatic Analysis
Pagination51 - 63
Date Published1995///