Computing Publications

Publications Home » Ranked Predicate Abstraction for ...

Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise

Harald Fecher, Michael Huth

Conference or Workshop Paper
Fourth international symposium on Automated Technology for Verification and Analysis, 23-26 October 2006, Beijing, China
October, 2006
Volume 4218
Springer Verlag
DOI 10.1007/11901914_25

This attached PDF document is a preliminary version only.

PDF of full publication (208 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.