Martínez Valencia JL, Holguín Londoño M, Holguín Londoño GA. Metodología de síntesis de autómatas para controlar sistemas de navegación autónoma terrestre. Sci. tech [Internet]. 30 de diciembre de 2018 [citado 22 de noviembre de 2024];23(4):490-50. Disponible en: https://ojs2.utp.edu.co/index.php/revistaciencia/article/view/18121