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

International Collaboration

cited authors

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

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

Location

  • ITALY, Bologna

International Standard Book Number (ISBN) 13

Conference

  • 7th International Conference on Computational Methods in Systems Biology

publisher

  • SPRINGER-VERLAG BERLIN

start page

  • 218

end page

  • +

volume

  • 5688