Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder. Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers, 2015. [doi]
@book{synthesis-2015Bloem,
title = {Decidability of Parameterized Verification},
author = {Roderick Bloem and Swen Jacobs and Ayrat Khalimov and Igor Konnov and Sasha Rubin and Helmut Veith and Josef Widder},
year = {2015},
doi = {10.2200/S00658ED1V01Y201508DCT013},
url = {http://dx.doi.org/10.2200/S00658ED1V01Y201508DCT013},
researchr = {https://researchr.org/publication/synthesis-2015Bloem},
cites = {0},
citedby = {0},
series = {Synthesis Lectures on Distributed Computing Theory},
publisher = {Morgan & Claypool Publishers},
}