Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan Williams. Efficient CTL* model checking for analysis of rainbow designs. In Hon F. Li, David K. Probst, editors, Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada. Volume 105 of IFIP Conference Proceedings, pages 128-145, Chapman & Hall, 1997.
Abstract is missing.