Nazareno Aguirre, Germán Regis, T. S. E. Maibaum. Verifying Temporal Properties of CommUnity Designs. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 1-20, Springer, 2007. [doi]
Abstract is missing.