@article{cdb86c47254c4c7c8a00e368c8e9317f,
title = "The Maude LTL model checker and its implementation",
author = "Steven Eker and Jos{\'e} Meseguer and Ambarish Sridharanarayanan",
note = "Funding Information: The authors thank Ms Corina Lange, Mr George Piperidis and Drs Elena Alvarez-Buylla, Glenn Furnier, Mike Hutchings, Darlyne Murawski and Larry Venable for their comments on earlier drafts. This work was part of the dissertation presented in fulfillment of a PhD in Ecology at the National Autonomous University of Mexico by LI. This research was partially funded by a scholarship from Jesse Smith Noyes Foundation to LI.",
year = "2003",
doi = "10.1007/3-540-44829-2_16",
language = "English (US)",
volume = "2648",
pages = "230--234",
journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
issn = "0302-9743",
publisher = "Springer",
}