Lucas Maciel, João Novais, Matheus Souza, Mark Song, and Henrique Freitas. 2019.
Arquitetura Heterogênea CPU+FPGA para Análise Formal de Conceitos. In <em>Anais do XX Simpósio em Sistemas Computacionais de Alto Desempenho</em>, novembro 08, 2019, Campo Grande, Brasil. SBC, Porto Alegre, Brasil, 85-96. DOI: <a href="https://doi.org/10.5753/wscad.2019.8659">https://doi.org/10.5753/wscad.2019.8659</a>.