Para depositar en Docta Complutense, identifícate con tu correo @ucm.es en el SSO institucional. Haz clic en el desplegable de INICIO DE SESIÓN situado en la parte superior derecha de la pantalla. Introduce tu correo electrónico y tu contraseña de la UCM y haz clic en el botón MI CUENTA UCM, no autenticación con contraseña.

Notes on Model Checking and Abstraction in Rewriting Logic

Simple item page
dc.contributor.authorMeseguer Guaita, José
dc.contributor.authorPalomino Tarjuelo, Miguel
dc.contributor.authorMartí Oliet, Narciso
dc.date.accessioned2023-06-20T12:41:27Z
dc.date.available2023-06-20T12:41:27Z
dc.date.issued2003-12-08
dc.description.departmentSección Deptal. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Ciencias Matemáticas
dc.description.refereedFALSE
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/4880
dc.identifier.officialurlhttp://maude.sip.ucm.es/~miguelpt/bibliography
dc.identifier.urihttps://hdl.handle.net/20.500.14352/52231
dc.language.isoeng
dc.rights.accessRightsopen access
dc.subject.keywordModel checking
dc.subject.keywordRewriting logic
dc.subject.keywordMaude
dc.subject.keywordAbstraction
dc.subject.ucmSeguridad informática
dc.titleNotes on Model Checking and Abstraction in Rewriting Logic
dc.typejournal article
dspace.entity.typePublication
relation.isAuthorOfPublication52909b00-b705-4307-84db-d3211eedef69
relation.isAuthorOfPublicatione8d4e85a-2a43-444c-84e7-1fa5f392c50d
relation.isAuthorOfPublication.latestForDiscoverye8d4e85a-2a43-444c-84e7-1fa5f392c50d

Download

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
nmcarl.pdf
Size:
302.13 KB
Format:
Adobe Portable Document Format
Download Download

Collections

Artículos