Mendoza Morales, L. E. (2016) «Automatic Verification of Critical Industrial Process with Automata», Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia, 39(3). Disponible en: https://www.produccioncientificaluz.org/index.php/tecnica/article/view/22030 (Accedido: 12mayo2024).