Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Esparza, J., Ganty, P., & Majumdar, R. (2016). Parameterized Verification of Asynchronous Shared-Memory Systems. Journal of the ACM, 63(1): 10. doi:10.1145/2842603.