{"citation":{"ama":"Radke S, Rülke S, Oliveira MF, et al. Compilation of Methodologies to Speed up the Verification Process at System Level. In: <i>EdaWorkshop 12</i>. ; 2012.","chicago":"Radke, Stephan, Steffen Rülke, Marcio F. Oliveira, Christoph Kuznik, Wolfgang Müller, Wolfgang Ecker, Volkan Esen, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” In <i>EdaWorkshop 12</i>, 2012.","short":"S. Radke, S. Rülke, M.F. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, J.-H. Oetjens, H. Brazdrum, P. Janssen, H.M. Le, D. Große, F. Haedicke, R. Drechsler, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, R. Görgen, in: EdaWorkshop 12, 2012.","mla":"Radke, Stephan, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” <i>EdaWorkshop 12</i>, 2012.","bibtex":"@inproceedings{Radke_Rülke_Oliveira_Kuznik_Müller_Ecker_Esen_Hufnagel_Bannow_Oetjens_et al._2012, title={Compilation of Methodologies to Speed up the Verification Process at System Level}, booktitle={edaWorkshop 12}, author={Radke, Stephan and Rülke, Steffen and Oliveira, Marcio F. and Kuznik, Christoph and Müller, Wolfgang and Ecker, Wolfgang and Esen, Volkan and Hufnagel, Simon and Bannow, Nico and Oetjens, Jan-Hendrik and et al.}, year={2012} }","apa":"Radke, S., Rülke, S., Oliveira, M. F., Kuznik, C., Müller, W., Ecker, W., Esen, V., Hufnagel, S., Bannow, N., Oetjens, J.-H., Brazdrum, H., Janssen, P., Le, H. M., Große, D., Haedicke, F., Drechsler, R., Koch, G., Burger, A., Bringmann, O., … Görgen, R. (2012). Compilation of Methodologies to Speed up the Verification Process at System Level. <i>EdaWorkshop 12</i>.","ieee":"S. Radke <i>et al.</i>, “Compilation of Methodologies to Speed up the Verification Process at System Level,” 2012."},"author":[{"first_name":"Stephan","last_name":"Radke","full_name":"Radke, Stephan"},{"full_name":"Rülke, Steffen","last_name":"Rülke","first_name":"Steffen"},{"full_name":"Oliveira, Marcio F.","last_name":"Oliveira","first_name":"Marcio F."},{"last_name":"Kuznik","full_name":"Kuznik, Christoph","first_name":"Christoph"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Wolfgang","full_name":"Ecker, Wolfgang","last_name":"Ecker"},{"last_name":"Esen","full_name":"Esen, Volkan","first_name":"Volkan"},{"first_name":"Simon","last_name":"Hufnagel","full_name":"Hufnagel, Simon"},{"first_name":"Nico","last_name":"Bannow","full_name":"Bannow, Nico"},{"full_name":"Oetjens, Jan-Hendrik","last_name":"Oetjens","first_name":"Jan-Hendrik"},{"full_name":"Brazdrum, Helmut","last_name":"Brazdrum","first_name":"Helmut"},{"last_name":"Janssen","full_name":"Janssen, Peter","first_name":"Peter"},{"first_name":"Hoang M.","last_name":"Le","full_name":"Le, Hoang M."},{"full_name":"Große, Daniel","last_name":"Große","first_name":"Daniel"},{"first_name":"Finn","full_name":"Haedicke, Finn","last_name":"Haedicke"},{"full_name":"Drechsler, Rolf","last_name":"Drechsler","first_name":"Rolf"},{"first_name":"Gernot","full_name":"Koch, Gernot","last_name":"Koch"},{"full_name":"Burger, Andreas","last_name":"Burger","first_name":"Andreas"},{"last_name":"Bringmann","full_name":"Bringmann, Oliver","first_name":"Oliver"},{"first_name":"Wolfgang","last_name":"Rosenstiel","full_name":"Rosenstiel, Wolfgang"},{"first_name":"Ralph","full_name":"Görgen, Ralph","last_name":"Görgen"}],"year":"2012","language":[{"iso":"eng"}],"main_file_link":[{"url":"http://www.vde-verlag.de/proceedings-de/563428010.html"}],"_id":"26024","type":"conference","department":[{"_id":"672"}],"title":"Compilation of Methodologies to Speed up the Verification Process at System Level","date_updated":"2022-01-06T06:57:15Z","publication":"edaWorkshop 12","date_created":"2021-10-11T08:54:53Z","status":"public","user_id":"21240"}