SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
     
  SRI Logo

The Maude LTL Model Checker
 by Dr. Steven Eker, José Meseguer & Ambarish Sridharanarayanan.

Electronic Notes in Theoretical Computer Science, Volume 71.
From Proceedings of the 4th International Workshop on Rewriting Logic and Its Applications (WRLA 2002).
Edited by Fabio Gaducci and Ugo Montanari.
Elsevier, Amsterdam.
September, 2002.


BibTEX Entry
@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}
}
 













 

About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2017 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy