Daniel Kröning, Ofer Strichman
Efficient Computation of Recurrence Diameters
VMCAI, 2003.
@inproceedings{VMCAI-2003-KroeningS, author = "Daniel Kröning and Ofer Strichman", booktitle = "{Proceedings of the Fourth International Conference on Verification, Model Checking and Abstract Interpretation}", doi = "10.1007/3-540-36384-X_24", isbn = "3-540-00348-7", pages = "298--309", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Efficient Computation of Recurrence Diameters}", volume = 2575, year = 2003, }