Maciel, L., 		Novais, J., 		Souza, M., 		Song, M., & 		Freitas, H.
2019 nov  8.  Arquitetura Heterogênea CPU+FPGA para Análise Formal de Conceitos. Anais do Simpósio em Sistemas Computacionais de Alto Desempenho (SSCAD). [Online] :