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
pp.322–336
Springer Verlag
DOI 10.1007/11901914_25
Notes

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
N.B.
Conditions for downloading publications from this site.
 

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