Complutense University Library

Notes on Model Checking and Abstraction in Rewriting Logic

Impacto




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

[img]
Preview
PDF
309kB

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





Item Type:Article
Uncontrolled Keywords:Model checking; Rewriting logic; Maude; Abstraction
Subjects:Sciences > Computer science > Computer security
ID Code:4880
Deposited On:31 Mar 2006
Last Modified:08 Jul 2015 08:08

Repository Staff Only: item control page