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

@article{TUW-257708,
    author = {Konnov, Igor and Veith, Helmut and Widder, Josef},
    title = {On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability},
    journal = {Information and Computation},
    year = {2017},
    volume = {252},
    pages = {95--109},
    url = {http://publik.tuwien.ac.at/files/publik_257708.pdf},
    doi = {10.1016/j.ic.2016.03.006}
}


1 Datensatz ausgegeben