{"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"user_id":"22398","type":"bachelorsthesis","department":[{"_id":"77"}],"author":[{"id":"22398","first_name":"Felix","full_name":"Pauck, Felix","last_name":"Pauck"}],"title":"Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren","date_created":"2017-10-17T12:42:13Z","oa":"1","ddc":["000"],"file":[{"file_size":3191756,"creator":"fpauck","date_updated":"2019-08-07T09:05:38Z","access_level":"open_access","date_created":"2019-08-07T09:00:20Z","content_type":"application/pdf","file_name":"fpauck_2014.pdf","relation":"main_file","title":"Bachelorarbeit","file_id":"12906"}],"_id":"418","status":"public","language":[{"iso":"ger"}],"file_date_updated":"2019-08-07T09:05:38Z","year":"2014","supervisor":[{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","id":"573","first_name":"Heike"}],"citation":{"ama":"Pauck F. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn; 2014.","apa":"Pauck, F. (2014). <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn.","ieee":"F. Pauck, <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014.","bibtex":"@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren}, publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }","mla":"Pauck, Felix. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014.","chicago":"Pauck, Felix. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>. Universität Paderborn, 2014.","short":"F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, Universität Paderborn, 2014."},"has_accepted_license":"1","date_updated":"2022-01-06T07:00:30Z","publisher":"Universität Paderborn"}