Jun Sawada Warren A. Hunt Jr. Results of the Verification of a Complex Pipelined Machine Model. 313-316 http://link.springer.de/link/service/series/0558/bibs/1703/17030313.htm 1999 conf/charme/1999 CHARME db/conf/charme/charme1999.html#SawadaJ99