Steven Eker, José Meseguer, Ambarish Sridharanarayanan
The Maude LTL Model Checker
WRLA, 2002.
@article{WRLA-2002-EkerMS,
author = "Steven Eker and José Meseguer and Ambarish Sridharanarayanan",
doi = "10.1016/S1571-0661(05)82534-4",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "162--187",
title = "{The Maude LTL Model Checker}",
volume = 71,
year = 2002,
}