RT Journal Article
T1 Notes on Model Checking and Abstraction in Rewriting Logic
A1 Meseguer Guaita, José
A1 Palomino Tarjuelo, Miguel
A1 Martí Oliet, Narciso
YR 2003
FD 2003-12-08
LK https://hdl.handle.net/20.500.14352/52231
UL https://hdl.handle.net/20.500.14352/52231
LA eng
DS Docta Complutense
RD 25 abr 2025