A Bayesian Approach to Model Checking Biological Systems Conference

Jha, Sumit K, Clarke, Edmund M, Langmead, Christopher J et al. (2009). A Bayesian Approach to Model Checking Biological Systems . Lecture Notes in Computer Science, 5688 218-+.

International Collaboration

cited authors

  • Jha, Sumit K; Clarke, Edmund M; Langmead, Christopher J; Legay, Axel; Platzer, Andre; Zuliani, Paolo

authors

date/time interval

  • August 31, 2009 -

publication date

  • January 1, 2009

published in

keywords

  • Biochemical Research Methods
  • Biochemistry & Molecular Biology
  • Computer Science
  • Computer Science, Information Systems
  • Life Sciences & Biomedicine
  • Mathematical & Computational Biology
  • SIMULATION
  • Science & Technology
  • Technology

International Standard Book Number (ISBN) 13

start page

  • 218

end page

  • +

volume

  • 5688