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

@book{TUW-243370,
    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},
    publisher = {Morgan {\&} Claypool Publishers},
    year = {2015},
    address = {San Rafael, CA, USA},
    numpages = {170},
    isbn = {9781627057431},
    doi = {10.2200/S00658ED1V01Y201508DCT013}
}


1 Datensatz ausgegeben