Averist

swMATH20133MaRDI QIDQ31955FDOQ31955

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: Averist