Prasenjit Biswas, Sarit Pal, Sunil Khatri. A Mathematical Framework for Exploring Protein Folding Dynamics using Probabilistic Model Checking. In 3rd International Conference on Information and Computer Technologies, ICICT 2020, San Jose, CA, USA, March 9-12, 2020. pages 114-123, IEEE, 2020. [doi]
Abstract is missing.