@TECHREPORT{LJCMUCS07132,
  AUTHOR =   {Langmead, C.J. and Jha, S. K.},
  title =    "{Predicting Protein Folding Kinetics via Model Checking}",
  INSTITUTION =  {Carnegie Mellon University},
  YEAR =         {2007},
  number =       {CMU-CS-07-132},
}