Model checking and transitive-closure logic
Publication Date
1997
Journal or Book Title
COMPUTER AIDED VERIFICATION
Pages
291-302
Volume
1254
Book Series Title
LECTURE NOTES IN COMPUTER SCIENCE
Recommended Citation
Immerman, N and Vardi, MY, "Model checking and transitive-closure logic" (1997). COMPUTER AIDED VERIFICATION. 577.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/577
COinS