Zhi Yang, Guangsheng Ma, Shu Zhang. A Novel Approach to High-Level Property Checking Using Wu s Method. In 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, Hong Kong, January 23-25, 2008. pages 576-580, IEEE Computer Society, 2008. [doi]
Abstract is missing.