Stem biocham$ (all stems)
2 papers:
SFM-2008-FagesS #biology
- Formal Cell Biology in Biocham (FF, SS), pp. 54–80.
LOPSTR-2005-Fages #automaton #constraints #logic
- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM (FF), pp. 1–5.