@InProceedings{LJ07,
author={C. Langmead and S. Jha},
title={Predicting Protein Folding Kinetics Via Temporal Logic Model Checking},
booktitle={7th International Workshop on Algorithms in Bioinformatics (WABI'07)},
year={2007},

editor={},
pages={252-264},
organization={},
publisher={Springer},
series={LNCS},
volume={4645},
address={},
month={},
note={},
key={}
}