Publication: Research - peer-review › Journal article – Annual report year: 2007
This paper presents a static analysis for investigating properties of biological systems specified in BioAmbients. We exploit the control flow analysis to decode the bindings of variables induced by communications and to build a relation of the ambients that can interact with each other. We eventually apply our analysis to an example of gene regulation by positive feedback taken from the literature.
|Citations||Error in DOI please contact firstname.lastname@example.org|
No data available