Automatic Analysis of Hybrid Systems

Pei-Hsin Ho. Automatic Analysis of Hybrid Systems. PhD thesis, Cornell University, USA, 1995.

Abstract

Abstract is missing.