Media type: E-Article Title: Lecture Notes in Computer Science: A methodology for processor implementation verification Contributor: Lewin, Daniel; Lorenz, Dean; Ur, Shmuel Published: Springer Berlin Heidelberg, 1996 Published in: Lecture Notes in Computer Science (1996), Seite 126-142 Language: Without Specification DOI: 10.1007/bfb0031804 ISBN: 9783540619376; 9783540495673 ISSN: 0302-9743; 1611-3349 Origination: Footnote: