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

@inproceedings{TUW-257684,
    author = {Konnov, Igor and Lazi{\&}{\#}263;, Marijana and Veith, Helmut and Widder, Josef},
    title = {A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms},
    booktitle = {POPL},
    year = {2017},
    pages = {719--734},
    publisher = {ACM},
    address = {Paris},
    url = {http://publik.tuwien.ac.at/files/publik_257684.pdf},
    isbn = {978-1-4503-4660-3},
    doi = {10.1145/3009837.3009860},
    keywords = {Parameterized model checking, Byzantine faults, faulttolerant distributed algorithms, reliable broadcast},
    note = {talk: 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), Paris, France; 2017-01-18 -- 2017-01-20}
}


1 Datensatz ausgegeben