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

@article{TUW-252740,
    author = {Bloem, Roderick and Jacobs, Swen and Khalimov, Ayrat and Konnov, Igor and Rubin, Sasha and Veith, Helmut and Widder, Josef},
    title = {Decidability of Parameterized Verification},
    journal = {ACM SIGACT News},
    year = {2016},
    volume = {47},
    number = {2},
    pages = {53--64},
    url = {http://dl.acm.org/citation.cfm?doid=2951860.2951873},
    doi = {10.1145/2951860.2951873}
}


1 Datensatz ausgegeben