@article{ckos2005,
  title = "Computational Challenges in Bounded Model Checking",
  author = "Clarke, Edmund and Kroening, Daniel and Ouaknine, Joel and Strichman, Ofer",
  year = "2005",
  journal = "Software Tools for Technology Transfer (STTT)",
  month = "April",
  number = "2",
  pages = "174--183",
  publisher = "Springer",
  volume = "7",
}