Martínez Valencia, J.L., Holguín Londoño, M. y Holguín Londoño, G.A. 2018. Metodología de síntesis de autómatas para controlar sistemas de navegación autónoma terrestre. Scientia et Technica. 23, 4 (dic. 2018), 490–500. DOI:https://doi.org/10.22517/23447214.18121.