Roderick Bloem Swen Jacobs Ayrat Khalimov 0001 Igor Konnov 0001 Sasha Rubin Helmut Veith Josef Widder Decidability in Parameterized Verification. 53-64 2016 47 SIGACT News 2 https://doi.org/10.1145/2951860.2951873 db/journals/sigact/sigact47.html#BloemJKKRVW16