Decidability of Parameterized Verification
Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder
- Anthology ID:
- DBLP:series/synthesis/2015Bloem
- Volume:
- 2015
- Year:
- 2015
- Venue:
- synthesis_series
- Publisher:
- Morgan & Claypool Publishers
- URL:
- https://doi.org/10.2200/S00658ED1V01Y201508DCT013
- DOI:
- 10.2200/S00658ED1V01Y201508DCT013
- DBLP:
- series/synthesis/2015Bloem