A Mathematical Framework for Exploring Protein Folding Dynamics using Probabilistic Model Checking. - Prasenjit Biswas; Sarit Pal; Sunil P. Khatri (ICICT, 2020)