"Flexible and Formal Modeling of Microprocessors with Application to ..."

Wei Qin, Sharad Malik (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics