PARTY: parameterized synthesis of token rings

Ayrat Khalimov, Swen Jacobs, Roderick Paul Bloem

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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