Abstract | ||
---|---|---|
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way. As an example we show the modelling of lac operon regulation and the modular verification of some properties. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.entcs.2010.12.006 | Sci. Ann. Comp. Sci. |
Keywords | DocType | Volume |
lac operon regulation,modular verification,universal fragment,automata-based formalism,model checking,systems biology,concurrent interactive systems,biological system,interactive systems,system biology,biological systems | Journal | 21 |
Issue | ISSN | Citations |
1 | Electronic Notes in Theoretical Computer Science | 4 |
PageRank | References | Authors |
0.42 | 15 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Drábik | 1 | 18 | 2.76 |
Andrea Maggiolo-Schettini | 2 | 789 | 89.11 |
Paolo Milazzo | 3 | 85 | 17.02 |