Sistemas concurrentes descritos con RdP: Validación asistida por computador
Title | Sistemas concurrentes descritos con RdP: Validación asistida por computador |
Publication Type | Conference Paper |
Year of Publication | 1982 |
Authors | Silva, M |
Date Published | 1 |
Export |