Showing 1 - 1 results of 1 for search 'Lengál, O', query time: 0.02s
Refine Results
-
1
Fair termination for parameterized probabilistic concurrent systems by Lengál, O, Lin, A, Majumdar, R, Ruemmer, P
Published 2016Conference item