Sarit Pal

Publication Activity (10 Years)

Years Active: 2020-2020
Publications (10 Years): 1

Top Topics

Mathematical Framework

Linear Temporal Logic

Reactive Systems

Top Venues

Publications

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