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

@inproceedings{TUW-257699,
    author = {Konnov, Igor and Widder, Josef and Spegni, Francesco and Spalazzi, Luca},
    title = {Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms},
    booktitle = {VMCAI 2017: Verification, Model Checking, and Abstract Interpretation},
    year = {2017},
    pages = {347--366},
    publisher = {Springer},
    address = {LNCS/10145/Paris},
    url = {http://publik.tuwien.ac.at/files/publik_257699.pdf},
    isbn = {978-3-319-52233-3},
    doi = {10.1007/978-3-319-52234-0{\_}19},
    note = {talk: Verification, Model Checking, and Abstract Interpretation (VMCAI), Paris; 2017-01-15 -- 2017-01-17}
}


1 Datensatz ausgegeben