Pages that link to "Item:Q5404076"
From MaRDI portal
The following pages link to Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076):
Displaying 8 items.
- Biochemical systems theory: a review (Q355964) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Special issue: Hybrid automata and oscillatory behavior in biological systems. Selected papers based on the presentations at the 2nd From biology to concurrency and back workshop (FBTC 2008), Reykjavik, Iceland, July 12, 2008 (Q967570) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice (Q1884863) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- Hybrid Systems: Computation and Control (Q5307463) (← links)
- Computer Aided Verification (Q5716569) (← links)