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 enero 8, 2026. https://repository.uaeh.edu.mx/revistas/index.php/icbi/article/view/13286.