Statistics
Publications
1
Citations
10
H-Index
1
Active since
2002
Affiliations
Technische Universität Darmstadt(Current)
Claudia Blank is an author at Technische Universität Darmstadt specializing in verification, symbolic execution, and structural simulation.
Publications per year
2002–2002
1
1
Symbolic simulation techniques-state-of-the-art and applications
Claudia Blank, Hans Eveking, Jens Levihn et al. · 2002 · 10 citations
Computing, Computer Science, Hardware Description Languages +13
1–1 of 1