STRONG

swMATH19505MaRDI QIDQ31332FDOQ31332

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-40196-1_13

Cited In (4)

• Trajectory-based theory for hybrid systems
• Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
• HySon
• HyLAA

This page was built for software: STRONG