Pages that link to "Item:Q2852017"
From MaRDI portal
The following pages link to Algorithmic algebraic model checking. III: Approximate methods (Q2852017):
Displaying 7 items.
- Low dimensional hybrid systems -- decidable, undecidable, don't know (Q418141) (← links)
- Correctness criteria for algebraic closures of the estimate-calculating algorithm model (Q954216) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Computer Aided Verification (Q5716569) (← links)
- (Q5754533) (← links)