Efficient Computation of Recurrence Diameters
Daniel Kroening and Ofer Strichman
Book Title
4th International Conference on Verification‚ Model Checking‚ and Abstract Interpretation
Editor
Zuck‚ L. and Attie‚ P. and Cortesi‚ A. and Mukhopadhyay‚ S.
Month
January
Pages
298–309
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
2575
Year
2003