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

@unpublished{TUW-212709,
    author = {John, Annu and Konnov, Igor and Schmid, Ulrich and Veith, Helmut and Widder, Josef},
    title = {Who is afraid of Model Checking Distributed Algorithms?},
    year = {2012},
    note = {talk: PUMA/RISE Seminar, Goldegg; 2012-09-24 -- 2012-09-28}
}


1 Datensatz ausgegeben