author = { Tahar, Sofiène },

title = { Eine Methode zur formalen Verifikation von RISC-Prozessoren },

publisher = {},

keywords = { Hochschulschrift , RISC , Formale Spezifikationstechnik , Hardwareverifikation },

year = {1994},

abstract = {Auch als: Verein Deutscher Ingenieure: Fortschrittberichte VDI / 10, Informatik, Kommunikationstechnik ; 350},

address = { },

url = { http://slubdd.de/katalog?TN_libero_mab2 }