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 Anais do XX Simpósio em Sistemas Computacionais de Alto Desempenho, novembro 08, 2019, Campo Grande, Brasil. SBC, Porto Alegre, Brasil, 85-96. DOI: https://doi.org/10.5753/wscad.2019.8659.