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

@inproceedings{TUW-276941,
    author = {Kukovec, Jure and Konnov, Igor and Widder, Josef},
    title = {Reachability in Parameterized Systems: All Flavors of Threshold Automata},
    booktitle = {29th International Conference on Concurrency Theory (CONCUR 2018)},
    year = {2018},
    pages = {19:1--19:17},
    publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik GmbH, Dagstuhl Publishing},
    address = {118},
    url = {http://drops.dagstuhl.de/opus/volltexte/2018/9557/pdf/LIPIcs-CONCUR-2018-19.pdf},
    isbn = {978-3-95977-087-3},
    doi = {10.4230/LIPIcs.CONCUR.2018.19},
    note = {talk: International Conference on Concurrency Theory (CONCUR), Bejing, China; 2018-09-04 -- 2018-09-07}
}


1 Datensatz ausgegeben