@inproceedings{MFF:2017, Author = {Jan Malburg and Tino Flenker and Goerschwin Fey}, Title = {Property Mining using Dynamic Dependency Graphs.}, Year = {(2017).}, Pages = {244-250}, Note = {gfey, CE}, Howpublished = {17-999 MFF:2017 ASPDAC}, Booktitle = {ASP Design Automation Conference (ASPDAC)} } @COMMENT{Bibtex file generated on 2024-3-29 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }