Howard Barringer, Graham Gough, Brian Monahan, Alan Williams. Formal support for the ELLA hardwar description language. 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 225-245, Springer, 1995.
Abstract is missing.