Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Lengál, O., Lin, A. W., Majumdar, R., & Rümmer, P. (2017). Fair Termination for Parameterized Probabilistic Concurrent Systems. In A. Legay, & T. Margaria (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (pp. 499-517). Berlin: Springer. doi:10.1007/978-3-662-54577-5_29.