Notes on Model Checking and Abstraction in Rewriting Logic

Download Statistics

Downloads

Downloads per month over past year

4880

Impacto

Downloads

Downloads per month over past year

View download statistics for this eprint

Buscar en Google Scholar™

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

Preview

PDF
309kB

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

==>>> 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:	08 Jul 2015 08:08

Origin of downloads

Repository Staff Only: item control page