Guest Editorial: Verification of Hybrid Systems

Oded Maler. Guest Editorial: Verification of Hybrid Systems. Eur. J. Control, 7(4):357-365, 2001. [doi]

Abstract

Abstract is missing.