Michael C. McFarland, Thaddeus J. Kowalski. Symbolic analysis and verification of CPA descriptions. In Paolo Camurati, Hans Eveking, editors, Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings. Volume 987 of Lecture Notes in Computer Science, pages 103-123, Springer, 1995.
Abstract is missing.