| emsoft | participants

Jun Liu

EMSOFT 2013: 13th International Conference on Embedded Software

Pre-orders for Reasoning About Stability Properties with Respect to Input of Hybrid Systems