MIANA, Flávio; 						COELHO JR, Claudionor N.; 						NATTRODT, Patricia; 						FERNANDES, Antônio O.; 						MELO, Júlio Cezar de.
 Mixing Symbolic and Ternary Simulation Techniques for the Verification of Processor-Based Systems. <em>In</em>: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 9.	, 1997, Campos do Jordão/SP.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	1997
.
 p. 241-252. 
		DOI: <a href="https://doi.org/10.5753/sbac-pad.1997.22628">https://doi.org/10.5753/sbac-pad.1997.22628</a>.