Miana, F., 		Coelho Jr, C., 		Nattrodt, P., 		Fernandes, A., & 		Melo, J.
1997 out  7.  Mixing Symbolic and Ternary Simulation Techniques for the Verification of Processor-Based Systems. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :