Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Esparza, J., Ganty, P., & Majumdar, R. (2013). Parameterized Verification of Asynchronous Shared-Memory Systems. In N. Sharygina, & H. Veith (Eds.), Computer Aided Verification (pp. 124-140). Berlin: Springer. doi:10.1007/978-3-642-39799-8_8.