Miana, F., 		Coelho Jr, C., 		Nattrodt, P., 		Fernandes, A., & 		Melo, J.
(1997).
 Mixing Symbolic and Ternary Simulation Techniques for the Verification of Processor-Based Systems.
In <em>Anais do IX Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho</em>, (pp. 241-252). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1997.22628