On algorithmic analysis of transcriptional regulation by LTL model checking (Q2271449)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On algorithmic analysis of transcriptional regulation by LTL model checking |
scientific article |
Statements
On algorithmic analysis of transcriptional regulation by LTL model checking (English)
0 references
7 August 2009
0 references
genetic regulatory network
0 references
piecewise-linear approximation
0 references
model checking
0 references
