%0 Book %1 series/synthesis/2015Bloem %A Bloem, Roderick %A Jacobs, Swen %A Khalimov, Ayrat %A Konnov, Igor %A Rubin, Sasha %A Veith, Helmut %A Widder, Josef %B Decidability of Parameterized Verification %D 2015 %I Morgan & Claypool Publishers %K %T Decidability of Parameterized Verification

@book{series/synthesis/2015Bloem, added-at = {2023-12-12T18:04:33.000+0100}, author = {Bloem, Roderick and Jacobs, Swen and Khalimov, Ayrat and Konnov, Igor and Rubin, Sasha and Veith, Helmut and Widder, Josef}, biburl = {https://www.bibsonomy.org/bibtex/22a6d160a1e5bb8c0881f299a185c5688/admin}, booktitle = {Decidability of Parameterized Verification}, ee = {https://doi.org/10.2200/S00658ED1V01Y201508DCT013}, interhash = {0d0c20e0978bf01088a0dacbe6747157}, intrahash = {2a6d160a1e5bb8c0881f299a185c5688}, keywords = {}, publisher = {Morgan & Claypool Publishers}, series = {Synthesis Lectures on Distributed Computing Theory}, timestamp = {2023-12-12T18:04:33.000+0100}, title = {Decidability of Parameterized Verification}, year = 2015 }