|
[LJ07]
C. Langmead and S. Jha.
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking.
In 7th International Workshop on Algorithms in Bioinformatics (WABI'07), volume 4645 of Lecture Notes in Computer Science, pages 252-264, Springer.
September 2007.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|