Kunal Banerjee, Chittaranjan A. Mandal, Dipankar Sarkar. Translation Validation of Transformations of Embedded System Specifications Using Equivalence Checking. In 2015 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2015, Montpellier, France, July 8-10, 2015. pages 183-186, IEEE Computer Society, 2015. [doi]
Abstract is missing.