Compilation of Methodologies to Speed up the Verification Process at System Level Radke, Stephan Rülke, Steffen Oliveira, Marcio F. Kuznik, Christoph Müller, Wolfgang Ecker, Wolfgang Esen, Volkan Hufnagel, Simon Bannow, Nico Oetjens, Jan-Hendrik Brazdrum, Helmut Janssen, Peter Le, Hoang M. Große, Daniel Haedicke, Finn Drechsler, Rolf Koch, Gernot Burger, Andreas Bringmann, Oliver Rosenstiel, Wolfgang Görgen, Ralph 2012 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://ris.uni-paderborn.de/record/26024 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. eng info:eu-repo/semantics/closedAccess