Tight Cutoffs for Guarded Systems with Fairness

Ayrat Khalimov, Swen Jacobs, Simon Außerlechner

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	International Conference on Verification, Model Checking, and Abstract Interpretation
Publisher	.
Pages	1-20
Publication status	Published - 2016

Fields of Expertise

@inproceedings{07572068fb684c9f8d8aa195a231d179,

title = "Tight Cutoffs for Guarded Systems with Fairness",

author = "Ayrat Khalimov and Swen Jacobs and Simon Au{\ss}erlechner",

year = "2016",

language = "English",

pages = "1--20",

booktitle = "International Conference on Verification, Model Checking, and Abstract Interpretation",

publisher = ".",

}