Notes on Model Checking and Abstraction in Rewriting Logic

Thumbnail Image

Download

Download nmcarl.pdf (302.13 KB)

Official URL

http://maude.sip.ucm.es/~miguelpt/bibliography

Full text at PDC

Publication date

2003

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/52231

Citation

Abstract

Research Projects

Organizational Units

Journal Issue

Description

UCM subjects

Seguridad informática

Unesco subjects

Keywords

Collections

Artículos