Predicting Protein Folding Kinetics Via Temporal Logic Model Checking.

Christopher James Langmead, Sumit Kumar Jha

Browse the full WABI paper archive.