Computing Publications

Publications Home » Model checking vs. generalized mo...

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
pp.158–167
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.

N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.