Jan Malburg, Tino Flenker, Görschwin Fey. Property mining using dynamic dependency graphs. In 22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017. pages 244-250, IEEE, 2017. [doi]
@inproceedings{MalburgFF17, title = {Property mining using dynamic dependency graphs}, author = {Jan Malburg and Tino Flenker and Görschwin Fey}, year = {2017}, doi = {10.1109/ASPDAC.2017.7858327}, url = {http://dx.doi.org/10.1109/ASPDAC.2017.7858327}, researchr = {https://researchr.org/publication/MalburgFF17}, cites = {0}, citedby = {0}, pages = {244-250}, booktitle = {22nd Asia and South Pacific Design Automation Conference, ASP-DAC 2017, Chiba, Japan, January 16-19, 2017}, publisher = {IEEE}, isbn = {978-1-5090-1558-0}, }