@misc{S. 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}
}
@COMMENT{Bibtex file generated on }