Sistemas concurrentes descritos con RdP: Validación asistida por computador

TitleSistemas concurrentes descritos con RdP: Validación asistida por computador
Publication TypeConference Paper
Year of Publication1982
AuthorsSilva, M
Date Published1
Export