Tight Cutoffs for Guarded Systems with Fairness

Ayrat Khalimov, Swen Jacobs, Simon Außerlechner

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

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

Khalimov, A., Jacobs, S., & Außerlechner, S. (2016). Tight Cutoffs for Guarded Systems with Fairness. In International Conference on Verification, Model Checking, and Abstract Interpretation (pp. 1-20). ..

Tight Cutoffs for Guarded Systems with Fairness. / Khalimov, Ayrat; Jacobs, Swen; Außerlechner, Simon.

International Conference on Verification, Model Checking, and Abstract Interpretation. ., 2016. p. 1-20.

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

Khalimov, A, Jacobs, S & Außerlechner, S 2016, Tight Cutoffs for Guarded Systems with Fairness. in International Conference on Verification, Model Checking, and Abstract Interpretation. ., pp. 1-20.
Khalimov A, Jacobs S, Außerlechner S. Tight Cutoffs for Guarded Systems with Fairness. In International Conference on Verification, Model Checking, and Abstract Interpretation. . 2016. p. 1-20
Khalimov, Ayrat ; Jacobs, Swen ; Außerlechner, Simon. / Tight Cutoffs for Guarded Systems with Fairness. International Conference on Verification, Model Checking, and Abstract Interpretation. ., 2016. pp. 1-20
@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 = ".",

}

TY - GEN

T1 - Tight Cutoffs for Guarded Systems with Fairness

AU - Khalimov, Ayrat

AU - Jacobs, Swen

AU - Außerlechner, Simon

PY - 2016

Y1 - 2016

M3 - Conference contribution

SP - 1

EP - 20

BT - International Conference on Verification, Model Checking, and Abstract Interpretation

PB - .

ER -