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 },
  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.