Title: | Efficient Computation of Recurrence Diameters |
---|---|
Links: | Document as PDF |
Authors: | Daniel Kroening EMail |
Ofer Strichman EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{KS03, AUTHOR = { Kroening, Daniel and Strichman, Ofer }, TITLE = { Efficient Computation of Recurrence Diameters }, BOOKTITLE = { 4th International Conference on Verification, Model Checking, and Abstract Interpretation }, YEAR = { 2003 }, PUBLISHER = { Springer Verlag }, PAGES = { 298--309 }, SERIES = { Lecture Notes in Computer Science }, VOLUME = { 2575 }, MONTH = { January }, EDITOR = { Zuck, L. and Attie, P. and Cortesi, A. and Mukhopadhyay, S. }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.