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.