TY  - RPRT
TI  - SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers
AU  - Iury Bessa
AU  - Renato Abreu
AU  - João Edgar Filho
AU  - Lucas Cordeiro
PY  - 2014
UR  - https://arxiv.org/abs/1403.5172
ID  - 1403.5172
ER  -