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

@inproceedings{TUW-218369,
    author = {John, Annu and Konnov, Igor and Schmid, Ulrich and Veith, Helmut and Widder, Josef},
    title = {Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms},
    booktitle = {SPIN},
    year = {2013},
    pages = {209--226},
    publisher = {LNCS, Springer},
    address = {7976},
    url = {http://forsyte.at/wp-content/uploads/spin13.pdf},
    isbn = {978-3-642-39175-0},
    doi = {10.1007/978-3-642-39176-7{\_}14},
    note = {talk: International SPIN Symposium on Model Checking of Software (SPIN), Stony Brook, NY, USA; 2013-07-08 -- 2013-07-09}
}


1 Datensatz ausgegeben