 | Up a level |
Number of items: 1.
Jacobs, Swen, Sakr, Mouhammad and Zimmermann, Martin 
ORCID: 0000-0002-8038-2453
(2020)
Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
In: VMCAI 2020.
| Up a level |
Jacobs, Swen, Sakr, Mouhammad and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2020)
Promptness and Bounded Fairness in Concurrent and Parameterized Systems.
In: VMCAI 2020.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000