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

@unpublished{TUW-212703,
    author = {John, Annu and Konnov, Igor and Schmid, Ulrich and Veith, Helmut and Widder, Josef},
    title = {Parameterized Model Checking of Fault-tolerant Distributed Algorithms},
    year = {2012},
    note = {invited; talk: Dagstuhl Seminar 12461: Games and Decisions for Rigorous Systems Engineering, Dagstuhl, Deutschland; 2012-11-11 -- 2012-11-16}
}


1 Datensatz ausgegeben