Biblioteca de la Universidad Complutense de Madrid

Notes on Model Checking and Abstraction in Rewriting Logic

Impacto



Meseguer Guaita, José y Palomino, Miguel y Martí Oliet, Narciso (2003) Notes on Model Checking and Abstraction in Rewriting Logic. (No publicado)

[img]
Vista previa
PDF
309kB

URL Oficial: http://maude.sip.ucm.es/~miguelpt/bibliography





Tipo de documento:Artículo
Palabras clave:Model checking; Rewriting logic; Maude; Abstraction
Materias:Ciencias > Informática > Seguridad informática
Código ID:4880
Depositado:31 Mar 2006
Última Modificación:08 Jul 2015 08:08

Sólo personal del repositorio: página de control del artículo