Proc

S. Eker, J. Meseguer, A. Sridharanarayanan, "The Maude LTL model checker and its implementation", Model Checking Software: Proc. 10th Intl. SPIN Workshop, vol. 2648, pp. 230-234, 2003.

2003