SPeeDI
From MaRDI portal
Software:13640
swMATH896MaRDI QIDQ13640FDOQ13640
Author name not available (Why is that?)
Cited In (6)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Verification, Model Checking, and Abstract Interpretation
- Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
- Title not available (Why is that?)
- Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
This page was built for software: SPeeDI
