@miscS. 2012, Author = {S. Radke, S. Rülke, M. F. S. Oliveira, C. Kuznik, W. Müller, W. Ecker, V. Esen, S. Hufnagel, N. Bannow, H. Brazdrum, P. Janssen, H. M. Le, D. Große, R. Drechsler,E. Fehlauer, G. Koch, A. Burger, O. Bringmann, W. Rosenstiel, F. Headicke, R. Görgen, }, Title = {Compilation of Methodologies to Speed up the Verification Process at System Level}, Year = {2012}, Month = {05}, Organization = {edacentrum}, type = {misc} @COMMENTBibtex file generated on