Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Hong, C.-D., Lin, A. W., Majumdar, R., & Rümmer, P. (2019). Probabilistic Bisimulation for Parameterized Systems (with Applications to Verifying Anonymous Protocols). In I. Dillig, & S. Tasiran (Eds.), Computer Aided Verification (pp. 455-474). Berlin: Springer. doi:10.1007/978-3-030-25540-4_27.