Recursive and Backward Reasoning in the Verification on Hybrid Systems.

Stefan Ratschan Zhikun She Recursive and Backward Reasoning in the Verification on Hybrid Systems. 65-71 2008 ICINCO-SPSMC conf/icinco/2008spsmc db/conf/icinco/icinco2008-spsmc.html#RatschanS08