Notes on Model Checking and Abstraction in Rewriting Logic

Detalles Bibliográficos
Autores: Meseguer Guaita, José, Palomino Tarjuelo, Miguel, Martí Oliet, Narciso
Tipo de recurso: artículo
Fecha de publicación:2003
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/52231
Acceso en línea:https://hdl.handle.net/20.500.14352/52231
Access Level:acceso abierto
Palabra clave:Model checking
Rewriting logic
Maude
Abstraction
Seguridad informática
id ES_57bb8e695702daa80dcd142cf6b4fe83
oai_identifier_str oai:docta.ucm.es:20.500.14352/52231
network_acronym_str ES
network_name_str España
repository_id_str
spelling Notes on Model Checking and Abstraction in Rewriting LogicMeseguer Guaita, JoséPalomino Tarjuelo, MiguelMartí Oliet, NarcisoModel checkingRewriting logicMaudeAbstractionSeguridad informáticaUniversidad Complutense de Madrid20032003-12-0820032003-12-08journal articlehttp://purl.org/coar/resource_type/c_6501info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/20.500.14352/52231reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/522312026-06-02T12:44:21Z
dc.title.none.fl_str_mv Notes on Model Checking and Abstraction in Rewriting Logic
title Notes on Model Checking and Abstraction in Rewriting Logic
spellingShingle Notes on Model Checking and Abstraction in Rewriting Logic
Meseguer Guaita, José
Model checking
Rewriting logic
Maude
Abstraction
Seguridad informática
title_short Notes on Model Checking and Abstraction in Rewriting Logic
title_full Notes on Model Checking and Abstraction in Rewriting Logic
title_fullStr Notes on Model Checking and Abstraction in Rewriting Logic
title_full_unstemmed Notes on Model Checking and Abstraction in Rewriting Logic
title_sort Notes on Model Checking and Abstraction in Rewriting Logic
dc.creator.none.fl_str_mv Meseguer Guaita, José
Palomino Tarjuelo, Miguel
Martí Oliet, Narciso
author Meseguer Guaita, José
author_facet Meseguer Guaita, José
Palomino Tarjuelo, Miguel
Martí Oliet, Narciso
author_role author
author2 Palomino Tarjuelo, Miguel
Martí Oliet, Narciso
author2_role author
author
dc.contributor.none.fl_str_mv Universidad Complutense de Madrid
dc.subject.none.fl_str_mv Model checking
Rewriting logic
Maude
Abstraction
Seguridad informática
topic Model checking
Rewriting logic
Maude
Abstraction
Seguridad informática
publishDate 2003
dc.date.none.fl_str_mv 2003
2003-12-08
2003
2003-12-08
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
dc.type.openaire.fl_str_mv info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/52231
url https://hdl.handle.net/20.500.14352/52231
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869408473833275392
score 15,301629

Similares en LA Referencia