Decidability of Parameterized Verification

Ayrat Khalimov, Roderick Bloem, Helmut Veith, Josef Widder, Igor Konnov, Sasha Rubin, Swen Jacobs

Research output: Book/ReportBook

Original languageEnglish
Publisher.
Edition1
Publication statusPublished - 2015

Fields of Expertise

  • Information, Communication & Computing

Cite this