Christopher James Langmead, Sumit Kumar Jha. Predicting Protein Folding Kinetics Via Temporal Logic Model Checking. In Raffaele Giancarlo, Sridhar Hannenhalli, editors, Algorithms in Bioinformatics, 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings. Volume 4645 of Lecture Notes in Computer Science, pages 252-264, Springer, 2007. [doi]
Abstract is missing.