Electronic Notes in Theoretical Computer Science, Volume 227
Volume 227, January 2009
- Richard Banks, Victor Khomenko, L. Jason Steggles:
A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks. 3-19 - Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties. 97-111 - Florentin Ipate, Marian Gheorghe:
Testing Non-deterministic Stream X-machine Models and P systems. 113-126 - Tommaso Mazza, Matteo Cavaliere:
Cell Cycle and Tumor Growth in Membrane Systems with Peripheral Proteins. 127-141