Maciel, L., 		Novais, J., 		Souza, M., 		Song, M., & 		Freitas, H.
2019 Nov  8.  Arquitetura Heterogênea CPU+FPGA para Análise Formal de Conceitos. Proceedings of the Symposium on High Performance Computing Systems (SSCAD). [Online] :