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) . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 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

Location

  • PA, Philadelphia

International Standard Book Number (ISBN) 13

Conference

  • 7th International Workshop on Algorithms in Bioinformatics (WABI 2007)

publisher

  • SPRINGER-VERLAG BERLIN

start page

  • 252

end page

  • +

volume

  • 4645