Chandan Karfa, Dipankar Sarkar, Chittaranjan A. Mandal. Verification of KPN Level Transformations. In 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, Pune, India, January 5-10, 2013. pages 338-343, IEEE, 2013. [doi]
Abstract is missing.