@inproceedings{inproceedingse97475d0,
title   = {Toward the revision of CTL models through Kripke modal transition systems},
author = {Guerra, Paulo T and Andrade, Aline and Wassermann, Renata},
year = {2013},
doi = {10.1007/978-3-642-41071-0_9},
publisher = {Springer},
booktitle   = {Brazilian Symposium on Formal Methods - SBMF}
}