Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway Conference

Clarke, Edmund M, Faeder, James R, Langmead, Christopher J et al. (2008). Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway . EURO-PAR 2011 PARALLEL PROCESSING, PT 1, 5307 231-+.

Open Access

cited authors

  • Clarke, Edmund M; Faeder, James R; Langmead, Christopher J; Harris, Leonard A; Jha, Sumit Kumar; Legay, Axel

sustainable development goals

authors

date/time interval

  • October 12, 2008 -

publication date

  • January 1, 2008

published in

keywords

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

Location

  • GERMANY, Rostock

International Standard Book Number (ISBN) 13

Conference

  • 6th International Conference on Computational Methods in Systems Biology

publisher

  • SPRINGER-VERLAG BERLIN

start page

  • 231

end page

  • +

volume

  • 5307