Averist
From MaRDI portal
Software:31955
No author found.
Related Items (2)
Abstraction based verification of stability of polyhedral switched systems ⋮ Hybridization for Stability Analysis of Switched Linear Systems
This page was built for software: Averist
