Naijun Zhan, Shuling Wang, Hengjun Zhao. Formal Modelling, Analysis and Verification of Hybrid Systems. In Zhiming Liu, Jim Woodcock, Huibiao Zhu, editors, Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Volume 8050 of Lecture Notes in Computer Science, pages 207-281, Springer, 2013. [doi]
Abstract is missing.