Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076)
From MaRDI portal
scientific article; zbMATH DE number 6272170
Language | Label | Description | Also known as |
---|---|---|---|
English | Hybrid Automata in Systems Biology: How Far Can We Go? |
scientific article; zbMATH DE number 6272170 |
Statements
Hybrid Automata in Systems Biology: How Far Can We Go? (English)
0 references
21 March 2014
0 references
hybrid automata
0 references
reachability
0 references
semi-algebraic first-order formulæ
0 references
0 references