TY  - RPRT
TI  - A Metric Encoding for Bounded Model Checking (extended version)
AU  - Matteo Pradella
AU  - Angelo Morzenti
AU  - Pierluigi San Pietro
PY  - 2009
DO  - 10.1007/978-3-642-05089-3_47
UR  - https://arxiv.org/abs/0907.3085
ID  - 0907.3085
ER  -