Tight Cutoffs for Guarded Systems with Fairness

Ayrat Khalimov, Swen Jacobs, Simon Außerlechner

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

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

Fields of Expertise

  • Information, Communication & Computing

Dieses 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). ..