Notes on Model Checking and Abstraction in Rewriting Logic

Bibliographic Details
Authors: Meseguer Guaita, José, Palomino Tarjuelo, Miguel, Martí Oliet, Narciso
Format: article
Publication Date:2003
Country:España
Institution:Universidad Complutense de Madrid (UCM)
Repository:Docta Complutense
Language:English
OAI Identifier:oai:docta.ucm.es:20.500.14352/52231
Online Access:https://hdl.handle.net/20.500.14352/52231
Access Level:Open access
Keyword: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.300719

Similar Items