--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Fabian foaf_name: Mischkalla, Fabian foaf_surname: Mischkalla - foaf_Person: foaf_givenName: Wolfgang foaf_name: Müller, Wolfgang foaf_surname: Müller foaf_workInfoHomepage: http://www.librecat.org/personId=16243 dct_date: 2013^xs_gYear dct_language: ger dct_title: Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen@ ...