Majumdar, Rupak Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society;
Majumdar, R., & Raskin, J.-F. (2018). Symbolic Model Checking in Non-Boolean Domains. In E. M. Clarke, T. A. Henzinger, H. Veith, & R. Bloem (Eds.), Handbook of Model Checking (pp. 1111-1147). Cham: Springer. doi:10.1007/978-3-319-10575-8_31.