[IEEE 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) - Chiba, Japan (2017.1.16-2017.1.19)] 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) - Property mining using dynamic dependency graphs
Malburg, Jan, Flenker, Tino, Fey, GorschwinYear:
2017
Language:
english
DOI:
10.1109/ASPDAC.2017.7858327
File:
PDF, 152 KB
english, 2017