@conference{dsilva_kroening_date09,
  title = "Fixed Points in Multi-Cycle Path Detection",
  author = "Vijay D'Silva and Daniel Kroening",
  year = "2009",
  booktitle = "Proceedings of the Conference on Design Automation and Test in Europe (DATE)",
  editor = "Bashir Al-Hashimi",
  location = "Nice, France",
  month = "April",
  publisher = "IEEE",
}