Claudia Blank

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Claudia Blank
Employment of Property Checking for Functional Hardware Verification in an Industrial Setting. MBMV (2007)
Claudia Blank, Hans Eveking, Jens Levihn, Gerd Ritter
Symbolic simulation techniques-state-of-the-art and applications. HLDVT (2001)
Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking
Formale Verifikation der Register-Allokation. MBMV (2000)