Tight Cutoffs for Guarded Systems with Fairness

Ayrat Khalimov, Swen Jacobs, Simon Außerlechner

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

Original languageEnglish
Title of host publicationInternational Conference on Verification, Model Checking, and Abstract Interpretation
Publisher.
Pages1-20
Publication statusPublished - 2016

Fields of Expertise

  • Information, Communication & Computing

Cite this