PARTY: parameterized synthesis of token rings

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationInternational Conference on Computer Aided Verification
Publisher.
Pages1-2
DOIs
Publication statusPublished - 2013

Fields of Expertise

  • Information, Communication & Computing

Cite this

Khalimov, A., Jacobs, S., & Bloem, R. P. (2013). PARTY: parameterized synthesis of token rings. In International Conference on Computer Aided Verification (pp. 1-2). .. https://doi.org/10.1007/978-3-642-39799-8_66