Authors: Vladimir Herdt, Universität Bremen, DE; Hoang Minh Le, Universität Bremen, DE; - -, -, DE
Zusammenfassung:
-
Publication Date: 2015/06/07
Location of Publication: Design Automation Conference (DAC), San Francisco, US
Keyword: Verification
