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

@unpublished{TUW-256287,
    author = {Lazi{\&}{\#}263;, Marijana and Konnov, Igor and Veith, Helmut and Widder, Josef},
    title = {Model Checking of Threshold-based Fault-Tolerant Distributed Algorithms},
    year = {2016},
    keywords = {model checking, fault tolerance, parameterized verification},
    note = {invited; talk: 7th Workshop on Program Semantics, Specification and Verification: Theory and Applications, St. Petersburg, Russia; 2016-07-14 -- 2016-07-15}
}


1 Datensatz ausgegeben