Predicting protein folding kinetics via temporal logic model checking (Extended abstract) Conference

Langmead, Christopher James, Jha, Sumit Kumar. (2007). Predicting protein folding kinetics via temporal logic model checking (Extended abstract) . Lecture Notes in Computer Science, 4645 252-+.

cited authors

  • Langmead, Christopher James; Jha, Sumit Kumar

sustainable development goals

authors

date/time interval

  • September 8, 2007 -

publication date

  • January 1, 2007

published in

keywords

  • Biology
  • Computer Science
  • Computer Science, Information Systems
  • Life Sciences & Biomedicine
  • Life Sciences & Biomedicine - Other Topics
  • Science & Technology
  • Technology

International Standard Book Number (ISBN) 13

start page

  • 252

end page

  • +

volume

  • 4645