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

@article{TUW-264430,
    author = {Konnov, Igor and Lazi{\&}{\#}263;, Marijana and Veith, Helmut and Widder, Josef},
    title = {Para{\^}2: Parameterized Path Reduction, Acceleration, and SMT for Reachability in Threshold-Guarded Distributed Algorithms},
    journal = {Formal Methods in System Design},
    year = {2017},
    volume = {51},
    number = {2},
    pages = {270--307},
    doi = {10.1007/s10703-017-0297-4},
    note = {invited}
}


1 Datensatz ausgegeben