Pages that link to "Item:Q2229140"
From MaRDI portal
The following pages link to Executable biochemical space for specification and analysis of biochemical systems (Q2229140):
Displaying 7 items.
- Runtime verification for biochemical programs (Q271709) (← links)
- Computational analysis of phenotypic space in heterologous polyketide biosynthesis -- applications to \textit{Escherichia coli}, \textit{Bacillus subtilis}, and \textit{Saccharomyces cerevisiae} (Q1628996) (← links)
- Formal biochemical space with semantics in Kappa and BNGL (Q1744366) (← links)
- eBCSgen: a software tool for biochemical space language (Q2110688) (← links)
- eBCSgen 2.0: modelling and analysis of regulated rule-based systems (Q2112172) (← links)
- GUBS a Language for Synthetic Biology: Specification and Compilation (Q2945531) (← links)
- An encoding of the \(\lambda \)-calculus in the string MultiSet rewriting calculus (Q6541035) (← links)