CITATION STYLE
Eker, S., Meseguer, J., & Sridharanarayanan, A. (2003). The Maude LTL model checker and its implementation. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2648, 230–234. https://doi.org/10.1007/3-540-44829-2_16
Mendeley helps you to discover research relevant for your work.