doi dblp
Decidability of Parameterized Verification
Roderick Bloem | Swen Jacobs | Ayrat Khalimov | Igor Konnov | Sasha Rubin | Helmut Veith | Josef Widder