Number of items: 2.
Conference or Workshop Item (A Paper)
Lengál, Ondrej and Lin, Anthony Widjaja and Majumdar, Rupak and Rümmer, Philipp
(2017)
Fair Termination for Parameterized Probabilistic Concurrent Systems.
Article
Lengál, Ondrej and Lin, Anthony W. and Majumdar, Rupak and Rümmer, Philipp
(2017)
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
CoRR, abs/17.
This list was generated on Fri Apr 19 10:51:18 2024 CEST.