Search results for: Lars Hedrich
Advanced Formal Verification > 205-245
Advanced Formal Verification > 205-245
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2015 > 34 > 2 > 213 - 226
Integration, the VLSI Journal > 2015 > 48 > Complete > 55-71
Design Automation for Embedded Systems > 2014 > 18 > 1-2 > 99-118