Login / Signup

A formal model for analyzing drug combination effects and its application in TNF-α-induced NFκB pathway.

Han YanBo ZhangShao LiQianchuan Zhao
Published in: BMC Syst. Biol. (2010)
Keyphrases
  • formal model
  • formal models
  • security properties
  • predicate calculus
  • data model
  • probabilistic knowledge
  • business processes
  • microarray