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