%0 Journal Article
%A Meseguer Guaita, José
%A Palomino Tarjuelo, Miguel
%A Martí Oliet, Narciso
%T Notes on Model Checking and Abstraction in Rewriting Logic
%D 2003
%U https://hdl.handle.net/20.500.14352/52231
%~