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||Web of Science® Times Cited: No match on DOI|
No data available