BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@inproceedings{TUW-245533,
    author = {F{\"u}gger, Matthias and Najvirt, Robert and Nowak, Thomas and Schmid, Ulrich},
    title = {Towards binary circuit models that faithfully capture physical solvability},
    booktitle = {Proceedings of the 2015 Design, Automation {\&} Test in Europe Conference {\&} Exhibition (DATE'15)},
    year = {2015},
    pages = {1455--1460},
    isbn = {978-3-9815370-4-8},
    note = {talk: Design, Automation {\&} Test in Europe Conference {\&} Exhibition (DATE'15), Grenoble, France; 2015-03-09 -- 2015-03-13}
}


1 Datensatz ausgegeben