@InProceedings{wrla2002:mmc,
    AUTHOR = {Steven Eker and Jos\'{e} Meseguer and Ambarish Sridharanarayanan},
    TITLE = {The Maude {LTL} Model Checker},
    VOLUME = {71},
    YEAR = {2002},
    MONTH = {September},
    ADDRESS = {Amsterdam},
    URL = {http://www.csl.sri.com/papers/1555/},
    SERIES = {Electronic Notes in Theoretical Computer Science},
    BOOKTITLE = {Proceedings of the 4th International Workshop on Rewriting Logic and Its Applications (WRLA 2002)},
    PUBLISHER = {Elsevier},
    EDITOR = {Fabio Gaducci and Ugo Montanari}
}