| |
| 2003 | ||
|---|---|---|
| 2 | EE | Steven Eker, José Meseguer, Ambarish Sridharanarayanan: The Maude LTL Model Checker and Its Implementation. SPIN 2003: 230-234 |
| 2002 | ||
| 1 | EE | Steven Eker, José Meseguer, Ambarish Sridharanarayanan: The Maude LTL Model Checker. Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 1 | Steven Eker | [1] [2] |
| 2 | José Meseguer | [1] [2] |