Redes de Petri y validación de sistemas con actividades concurrentes
Title | Redes de Petri y validación de sistemas con actividades concurrentes |
Publication Type | Conference Paper |
Year of Publication | 1980 |
Authors | Silva, M |
Date Published | 9 |
Export |
Title | Redes de Petri y validación de sistemas con actividades concurrentes |
Publication Type | Conference Paper |
Year of Publication | 1980 |
Authors | Silva, M |
Date Published | 9 |
Export |