MACIEL, Lucas; 						NOVAIS, João Paulo; 						SOUZA, Matheus; 						SONG, Mark; 						FREITAS, Henrique Cota.
 Arquitetura Heterogênea CPU+FPGA para Análise Formal de Conceitos. <em>In</em>: SIMPÓSIO EM SISTEMAS COMPUTACIONAIS DE ALTO DESEMPENHO (SSCAD), 20.	, 2019, Campo Grande.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2019
.
 p. 85-96. 
		DOI: <a href="https://doi.org/10.5753/wscad.2019.8659">https://doi.org/10.5753/wscad.2019.8659</a>.