Notes on Model Checking and Abstraction in Rewriting Logic
| dc.contributor.author | Meseguer Guaita, José | |
| dc.contributor.author | Palomino Tarjuelo, Miguel | |
| dc.contributor.author | Martí Oliet, Narciso | |
| dc.date.accessioned | 2023-06-20T12:41:27Z | |
| dc.date.available | 2023-06-20T12:41:27Z | |
| dc.date.issued | 2003-12-08 | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | FALSE | |
| dc.description.status | unpub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/4880 | |
| dc.identifier.officialurl | http://maude.sip.ucm.es/~miguelpt/bibliography | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/52231 | |
| dc.language.iso | eng | |
| dc.rights.accessRights | open access | |
| dc.subject.keyword | Model checking | |
| dc.subject.keyword | Rewriting logic | |
| dc.subject.keyword | Maude | |
| dc.subject.keyword | Abstraction | |
| dc.subject.ucm | Seguridad informática | |
| dc.title | Notes on Model Checking and Abstraction in Rewriting Logic | |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 52909b00-b705-4307-84db-d3211eedef69 | |
| relation.isAuthorOfPublication | e8d4e85a-2a43-444c-84e7-1fa5f392c50d | |
| relation.isAuthorOfPublication.latestForDiscovery | e8d4e85a-2a43-444c-84e7-1fa5f392c50d |
Download
Original bundle
1 - 1 of 1
