{"year":"2013","citation":{"ama":"Mischkalla F, Müller W. Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ; 2013.","apa":"Mischkalla, F., & Müller, W. (2013). Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV).","mla":"Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen.” Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.","chicago":"Mischkalla, Fabian, and Wolfgang Müller. “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen.” In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013.","ieee":"F. Mischkalla and W. Müller, “Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen,” 2013.","bibtex":"@inproceedings{Mischkalla_Müller_2013, title={Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen}, booktitle={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }","short":"F. Mischkalla, W. Müller, in: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013."},"date_updated":"2022-01-06T06:57:08Z","status":"public","language":[{"iso":"ger"}],"_id":"25612","user_id":"21240","author":[{"full_name":"Mischkalla, Fabian","last_name":"Mischkalla","first_name":"Fabian"},{"full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang","id":"16243"}],"title":"Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen","department":[{"_id":"672"}],"type":"conference","publication":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","date_created":"2021-10-07T08:27:55Z"}