Lu Yan. Formal Verification of a Ubiquitous Hardware Component. In Zhaohui Wu, Chun Chen, Minyi Guo, Jiajun Bu, editors, Embedded Software and Systems, First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers. Volume 3605 of Lecture Notes in Computer Science, pages 536-541, Springer, 2004. [doi]
Abstract is missing.