| Título: | Notes on Model Checking and Abstraction in Rewriting Logic |
| Autores: | Meseguer Guaita, José ; Palomino, Miguel ; Martí Oliet, Narciso |
| Tipo de documento: | texto impreso |
| Fecha de publicación: | 2003-12-08 |
| Dimensiones: | application/pdf |
| Nota general: | info:eu-repo/semantics/openAccess |
| Idiomas: | |
| Palabras clave: | Estado = No publicado , Materia = Ciencias: Informática: Seguridad informática , Tipo = Artículo |
| En línea: | https://eprints.ucm.es/id/eprint/4880/1/nmcarl.pdf |
Ejemplares
| Estado |
|---|
| ningún ejemplar |
