Modelling biochemical pathways through enhanced pi-calculus.

Michele Curti Pierpaolo Degano Corrado Priami Cosima Tatiana Baldari

Published in: Theor. Comput. Sci. (2004)

Keyphrases

signal transduction pathways
experimental data
databases
social networks
real numbers
automated deduction