@INPROCEEDINGS{Langmead07A,
  AUTHOR =       {Langmead, C.J. and Jha, S. K.},
  TITLE =        {Predicting Protein Folding Kinetics via Model Checking},
  JOURNAL =      {Lecture Notes in Bioinformatics: The 7th Workshop on Algorithms in Bioinformatics (WABI)},
  YEAR =         {2007},
  pages =        {252-264},
}