Jump to Navigation

Un Lenguage lógico concurrente como nucleo de ejecución de un entorno de simulación y validación de protocolos

TitleUn Lenguage lógico concurrente como nucleo de ejecución de un entorno de simulación y validación de protocolos
Publication TypeConference Paper
Year of Publication1993
AuthorsDíaz, M., P. Merino, B. Rubio, and J. María Troya
Conference NameActas de la Escuela de Verano de Informática
Date Publishedoct


Main menu 2

Biblio | by Dr. Radut