Martínez Valencia, J. L., M. Holguín Londoño, y G. A. Holguín Londoño. «Metodología De síntesis De autómatas Para Controlar Sistemas De navegación autónoma Terrestre». Scientia Et Technica, vol. 23, n.º 4, diciembre de 2018, pp. 490-0, doi:10.22517/23447214.18121.