Mendoza Morales LE. Automatic Verification of Critical Industrial Process with Automata. REV TEC FAC ING UNIV [Internet]. 15 de diciembre de 2016 [citado 3 de agosto de 2025];39(3). Disponible en: http://www.produccioncientifica.luz.edu.ve/index.php/tecnica/article/view/22030