Complutense University Library

Notes on Model Checking and Abstraction in Rewriting Logic

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

View download statistics for this eprint

==>>> Export to other formats

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:06 Feb 2014 07:42

Repository Staff Only: item control page