110
Voted
EMSOFT
2013
Springer
11 years 11 months ago
2013
Springer
rs on systems are the basis for abstraction based verification of systems. In this paper, we investigate preorders for reasoning about stability with respect to inputs of hybrid ...