Maciel, L., Novais, J., Souza, M., Song, M., & Freitas, H. (2019). Arquitetura Heterogênea CPU+FPGA para Análise Formal de Conceitos. In Anais do XX Simpósio em Sistemas Computacionais de Alto Desempenho, (pp. 85-96). Porto Alegre: SBC. doi:10.5753/wscad.2019.8659