Report copyright - Towards a HOL Framework for the Deductive Analysis of Hybrid Control Systems ADPM’2000 Norbert Völker University of Essex, England
Please pass captcha verification before submit form
Please pass captcha verification before submit form