Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli. Interactive presentation abstract: Reusing of properties after discretization of hybrid automata. In Zeljko Zilic, Sandeep K. Shukla, editors, 2011 IEEE International High Level Design Validation and Test Workshop, HLDVT 2011, Napa Valley, CA, USA, November 9-11, 2011. pages 81, IEEE, 2011. [doi]
Abstract is missing.