MACIEL, Lucas; NOVAIS, João Paulo; SOUZA, Matheus; SONG, Mark; FREITAS, Henrique Cota. Arquitetura Heterogênea CPU+FPGA para Análise Formal de Conceitos. In: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (SSCAD), 20. , 2019, Campo Grande. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2019 . p. 85-96. DOI: https://doi.org/10.5753/wscad.2019.8659.