| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423931 | Electronic Notes in Theoretical Computer Science | 2010 | 15 Pages |
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
