Miana, Flávio, 		Coelho Jr, Claudionor, 		Nattrodt, Patricia, 		Fernandes, Antônio, AND 		Melo, Júlio.
" Mixing Symbolic and Ternary Simulation Techniques for the Verification of Processor-Based Systems" <em>Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD)</em> [Online], (7 October 1997)