TY  - RPRT
TI  - Equivalence Checking in Embedded Systems Design Verification
AU  - S. Bandyopadhyay
AU  - D. Sarkar
AU  - C. R. Mandal
PY  - 2010
UR  - https://arxiv.org/abs/1007.2131
ID  - 1007.2131
ER  -