Alemán-Arce, Miguel Angel, Salvador Mendoza-Acevedo, y Luz Noe Oliva-Moreno. «Verificación Funcional De Sistemas Digitales Descritos En HDL Mediante Ambientes UVM Basado En Agentes». Pädi Boletín Científico de Ciencias Básicas e Ingenierías del ICBI 12, no. Especial4 (noviembre 30, 2024): 1–6. Accedido julio 28, 2025. https://repository.uaeh.edu.mx/revistas/index.php/icbi/article/view/13286.