@misc{indiciae6e92ac4a2053,
  title = {A Metric Encoding for Bounded Model Checking (extended version)},
  author = {Matteo Pradella and Angelo Morzenti and Pierluigi San Pietro},
  year = {2009},
  doi = {10.1007/978-3-642-05089-3\_47},
  url = {https://arxiv.org/abs/0907.3085},
  note = {Source identifier: 0907.3085}
}