Averist

MaRDI QIDQ31955swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=2850827

Cited in

(4)

• Abstraction based verification of stability of polyhedral switched systems
• Hybridization for Stability Analysis of Switched Linear Systems
• Stabhyli
• Bellerophon

This page was built for software: Averist