Alemán-Arce, Miguel Angel, Salvador Mendoza-Acevedo, y Luz Noe Oliva-Moreno. 2024. «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 (Especial4):1-6. https://doi.org/10.29057/icbi.v12iEspecial4.13286.