Decidability in Parameterized Verification

@inproceedings{Bloem2016DecidabilityIP,
  title={Decidability in Parameterized Verification},
  author={Roderick Bloem and Swen Jacobs and Ayrat Khalimov and Igor Konnov and Sasha Rubin and Helmut Veith and Josef Widder},
  booktitle={SIGA},
  year={2016}
}