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