Used together with:
constraint
(1)
abstract
(1)
cell
(1)
machin
(1)
formal
(1)
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.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.