{"language":[{"iso":"eng"}],"main_file_link":[{"url":"http://www.vde-verlag.de/proceedings-de/563428010.html"}],"publication":"edaWorkshop 12","type":"conference","date_updated":"2022-01-06T06:57:15Z","author":[{"first_name":"Stephan","full_name":"Radke, Stephan","last_name":"Radke"},{"first_name":"Steffen","full_name":"Rülke, Steffen","last_name":"Rülke"},{"first_name":"Marcio F.","full_name":"Oliveira, Marcio F.","last_name":"Oliveira"},{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"},{"last_name":"Ecker","full_name":"Ecker, Wolfgang","first_name":"Wolfgang"},{"first_name":"Volkan","full_name":"Esen, Volkan","last_name":"Esen"},{"full_name":"Hufnagel, Simon","last_name":"Hufnagel","first_name":"Simon"},{"first_name":"Nico","full_name":"Bannow, Nico","last_name":"Bannow"},{"full_name":"Oetjens, Jan-Hendrik","last_name":"Oetjens","first_name":"Jan-Hendrik"},{"first_name":"Helmut","last_name":"Brazdrum","full_name":"Brazdrum, Helmut"},{"full_name":"Janssen, Peter","last_name":"Janssen","first_name":"Peter"},{"first_name":"Hoang M.","last_name":"Le","full_name":"Le, Hoang M."},{"first_name":"Daniel","last_name":"Große","full_name":"Große, Daniel"},{"full_name":"Haedicke, Finn","last_name":"Haedicke","first_name":"Finn"},{"full_name":"Drechsler, Rolf","last_name":"Drechsler","first_name":"Rolf"},{"last_name":"Koch","full_name":"Koch, Gernot","first_name":"Gernot"},{"full_name":"Burger, Andreas","last_name":"Burger","first_name":"Andreas"},{"full_name":"Bringmann, Oliver","last_name":"Bringmann","first_name":"Oliver"},{"first_name":"Wolfgang","last_name":"Rosenstiel","full_name":"Rosenstiel, Wolfgang"},{"last_name":"Görgen","full_name":"Görgen, Ralph","first_name":"Ralph"}],"status":"public","year":"2012","citation":{"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} }","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.","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.","mla":"Radke, Stephan, et al. “Compilation of Methodologies to Speed up the Verification Process at System Level.” <i>EdaWorkshop 12</i>, 2012.","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.","ieee":"S. Radke <i>et al.</i>, “Compilation of Methodologies to Speed up the Verification Process at System Level,” 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>."},"user_id":"21240","date_created":"2021-10-11T08:54:53Z","department":[{"_id":"672"}],"title":"Compilation of Methodologies to Speed up the Verification Process at System Level","_id":"26024"}