Paulo T. Guerra, Aline Andrade, Renata Wassermann. Toward the Revision of CTL Models through Kripke Modal Transition Systems. In Juliano Iyoda, Leonardo Mendonça de Moura, editors, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Volume 8195 of Lecture Notes in Computer Science, pages 115-130, Springer, 2013. [doi]
Abstract is missing.