TY  - RPRT
TI  - Equivalence Checking in Embedded Systems Design Verification using PRES+ model
AU  - Soumyadip Bandyopadhyay
PY  - 2010
UR  - https://arxiv.org/abs/1010.4953
ID  - 1010.4953
ER  -