L. Maciel, J. Novais, M. Souza, M. Song, and H. Freitas.
" 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>, Campo Grande, 2019, pp. 85-96, doi: <a href="https://doi.org/10.5753/wscad.2019.8659">https://doi.org/10.5753/wscad.2019.8659</a>.