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

@inproceedings{TUW-264432,
    author = {Lazi{\&}{\#}263;, Marijana and Konnov, Igor and Widder, Josef and Bloem, Roderick},
    title = {Synthesis of Distributed Algorithms with Parameterized Threshold Guards},
    booktitle = {OPODIS},
    year = {2017},
    pages = {32:1--32:20},
    publisher = {LIPIcs-Leibniz International Proceedings in Informatics},
    url = {http://drops.dagstuhl.de/opus/volltexte/2018/8635/pdf/LIPIcs-OPODIS-2017-32.pdf},
    doi = {10.4230/LIPIcs.OPODIS.2017.32},
    note = {talk: International Conference On Principles Of Distributed Systems (OPODIS), Lissabon; 2017-12-18 -- 2017-12-20}
}


1 Datensatz ausgegeben