Redes de Petri y validación de sistemas con actividades concurrentes

TitleRedes de Petri y validación de sistemas con actividades concurrentes
Publication TypeConference Paper
Year of Publication1980
AuthorsSilva, M
Date Published9
Export