Corrección de programas y redes de Petri de alto nivel

TitleCorrección de programas y redes de Petri de alto nivel
Publication TypeConference Paper
Year of Publication1995
AuthorsTricas, F, Martínez J
EditorLinero, TJM, Rodríguez C
Date Published7
Export