Tight Cutoffs for Guarded Systems with Fairness

Ayrat Khalimov, Swen Jacobs, Simon Außerlechner

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

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