Cite
LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra de procesos.
MLA
Cortés Galicia, Jorge, et al. “LeGESD: Un Marco de Trabajo Para La Especificación y Validación Formal de Sistemas Concurrentes y Distribuidos Basado En Un Lenguaje Gráfico Con Semántica Sustentada En El Álgebra de Procesos.” Revista Facultad de Ingeniería Universidad de Antioquia, no. 63, June 2012, pp. 129–40. EBSCOhost, https://doi.org/10.17533/udea.redin.12492.
APA
Cortés Galicia, J., Menchaca García, F. R., & Menchaca Méndez, R. (2012). LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra de procesos. Revista Facultad de Ingeniería Universidad de Antioquia, 63, 129–140. https://doi.org/10.17533/udea.redin.12492
Chicago
Cortés Galicia, Jorge, Felipe R. Menchaca García, and Rolando Menchaca Méndez. 2012. “LeGESD: Un Marco de Trabajo Para La Especificación y Validación Formal de Sistemas Concurrentes y Distribuidos Basado En Un Lenguaje Gráfico Con Semántica Sustentada En El Álgebra de Procesos.” Revista Facultad de Ingeniería Universidad de Antioquia, no. 63 (June): 129–40. doi:10.17533/udea.redin.12492.