BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @article{TUW-290951, author = {Bartocci, Ezio and Deshmukh, Jyotirmoy and Gliger, Felix and Mateis, Cristinel and Nickovic, Dejan and Qin, Xin}, title = {Mining Shape Expressions from Positive Examples}, journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, year = {2020}, volume = {39}, number = {11}, pages = {3809--3820}, doi = {10.1109/TCAD.2020.3012240} } 1 Datensatz ausgegeben