Steven Eker, José Meseguer, Ambarish Sridharanarayanan. The Maude LTL Model Checker and Its Implementation. In Thomas Ball, Sriram K. Rajamani, editors, Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings. Volume 2648 of Lecture Notes in Computer Science, pages 230-234, Springer, 2003. [doi]
Abstract is missing.