Tight Cutoffs for Guarded Protocols with Fairness

Außerlechner, Simon and Jacobs, Swen and Khalimov, Ayrat
(2016) Tight Cutoffs for Guarded Protocols with Fairness.
In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings.
Conference: None | Not Set

[img]
Preview
Text
paper.pdf

Download (487kB) | Preview
Official URL: https://doi.org/10.1007/978-3-662-49122-5_23

Actions

Actions (login required)

View Item View Item