Model checking vs. generalized model checking: semantic minimization for temporal logics
Patrice Godefroid, Michael Huth
- Conference or Workshop Paper
- Twentieth Annual IEEE Symposium on Logic in Computer Science
- IEEE Annual Symposium on Logic in Computer Science
- June, 2005
- IEEE Computer Society Press
- ISSN 1043-6871
- PDF of full publication (143 kilobytes)
- (need help viewing PDF files?)
- BibTEX file for the publication
- Copyright notice
Attached PDF document is preliminary version only.
- Conditions for downloading publications from this site.