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>Proceedings of the 9th Brazilian Symposium on Computer Architecture and High Performance Computing</em>, (pp. 241-252). Porto Alegre: SBC.
doi:10.5753/sbac-pad.1997.22628