Tight Cutoffs for Guarded Systems with Fairness

Ayrat Khalimov, Swen Jacobs, Simon Außerlechner

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelInternational Conference on Verification, Model Checking, and Abstract Interpretation
Herausgeber (Verlag).
Seiten1-20
PublikationsstatusVeröffentlicht - 2016

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

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 (S. 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. S. 1-20.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

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. ., S. 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. S. 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. S. 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 -