| 2003 | ||
|---|---|---|
| c1 | Steven Eker, José Meseguer, Ambarish Sridharanarayanan: The Maude LTL Model Checker and Its Implementation. SPIN 2003: 230-234 | |
| 2002 | ||
| j1 | Steven Eker, José Meseguer, Ambarish Sridharanarayanan: The Maude LTL Model Checker. Electr. Notes Theor. Comput. Sci. 71: 162-187 (2002) | |
| 1 | Steven Eker | |
| 2 | José Meseguer |
Data released under the ODC-BY 1.0 license — See also our legal information page