Number of items: 2.
Lengál, Ondrej and Lin, Anthony Widjaja and Majumdar, Rupak and Rümmer, Philipp
(2017)
Fair Termination for Parameterized Probabilistic Concurrent Systems.
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 Thu Apr 25 05:57:45 2024 CEST.