swMATH23305MaRDI QIDQ35078FDOQ35078
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1009.0673
Cited In (6)
- Symbol elimination and applications to parametric entailment problems
- Locality Results for Certain Extensions of Theories with Bridging Functions
- Decidability of verification of safety properties of spatial families of linear hybrid automata
- On invariant synthesis for parametric systems
- Deciding local theory extensions via E-matching
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
This page was built for software: H-PILoT
