Corrección de programas y Redes de Petri de alto nivel
Title | Corrección de programas y Redes de Petri de alto nivel |
Publication Type | Conference Paper |
Year of Publication | 1995 |
Authors | Tricas, F, Martínez J |
Date Published | 6 |
Export |
Title | Corrección de programas y Redes de Petri de alto nivel |
Publication Type | Conference Paper |
Year of Publication | 1995 |
Authors | Tricas, F, Martínez J |
Date Published | 6 |
Export |