Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi. Hierarchical Verification in Maude of L ::::f:::: P Software Architectures. In Flávio Oquendo, editor, Software Architecture, First European Conference, ECSA 2007, Aranjuez, Spain, September 24-26, 2007, Proceedings. Volume 4758 of Lecture Notes in Computer Science, pages 156-170, Springer, 2007. [doi]
Abstract is missing.