Parameterized Model Checking of Token-Passing Systems

Ayrat Khalimov, Sasha Rubin, Swen Jacobs, Benjamin Aminof

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

Original languageEnglish
Title of host publicationVerification, Model Checking, and Abstract Interpretation
EditorsKenneth L. McMillan, Xavier Rival
Publisher.
Pages262-281
DOIs
Publication statusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical

Cite this