BibTeX-Export: 1 Datensatz f{\"u}r alle [global] @unpublished{TUW-256278, author = {Konnov, Igor and Lazi{\&}{\#}263;, Marijana and Veith, Helmut and Widder, Josef}, title = {Parameterized Verification of Liveness of Distributed Algorithms}, year = {2016}, keywords = {model checking, fault tolerance, parameterized verification}, note = {talk: Workshop on Formal Reasoning in Distributed Algorithms (FRiDA), Marrakech, Marocco; 2016-05-17} } 1 Datensatz ausgegeben