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

The Maude LTL Model Checker and Its Implementation
 by Dr. Steven Eker, José Meseguer & Ambarish Sridharanarayana.

Lecture Notes in Computer Science, Volume 2648.
From Proceedings of the 10th SPIN Workshop.
Edited by Thomas Ball and Sriram K. Rajamani.
Springer, Berlin.
May, 2003.
Pages 230–234.


BibTEX Entry
@InProceedings{spin2003,
    AUTHOR = {Steven Eker and Jos\'{e} Meseguer and Ambarish Sridharanarayana},
    TITLE = {The Maude {LTL} Model Checker and its Implementation},
    VOLUME = {2648},
    YEAR = {2003},
    PAGES = {230--234},
    MONTH = {May},
    ADDRESS = {Berlin},
    URL = {http://www.csl.sri.com/papers/1556/},
    SERIES = {Lecture Notes in Computer Science},
    BOOKTITLE = {Proceedings of the 10th {SPIN} Workshop},
    PUBLISHER = {Springer},
    EDITOR = {Thomas Ball and Sriram {K.} Rajamani}
}
 













 

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