| 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
- 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 proceeding › Conference contribution › Research › peer-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
@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 -