> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: Lecture Notes in Computer Science: A methodology for processor implementation verification Beteiligte: Lewin, Daniel; Lorenz, Dean; Ur, Shmuel Erschienen: Springer Berlin Heidelberg, 1996 Erschienen in: Lecture Notes in Computer Science (1996), Seite 126-142 Sprache: Ohne Angabe DOI: 10.1007/bfb0031804 ISBN: 9783540619376; 9783540495673 ISSN: 0302-9743; 1611-3349 Entstehung: Anmerkungen: