CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks |
scientific article |
Statements
CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (English)
0 references
28 June 2011
0 references