Maciel, L., 		Novais, J., 		Souza, M., 		Song, M., & 		Freitas, H.
(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>, (pp. 85-96). Porto Alegre: SBC.
doi:10.5753/wscad.2019.8659