TY  - JOUR
AU  - Meseguer Guaita, José
AU  - Palomino Tarjuelo, Miguel
AU  - Martí Oliet, Narciso
PY  - 2003
UR  - https://hdl.handle.net/20.500.14352/52231
LA  - eng
KW  - Model checking
KW  - Rewriting logic
KW  - Maude
KW  - Abstraction
TI  - Notes on Model Checking and Abstraction in Rewriting Logic
TY  - journal article
ER  -