B.H.: Computational techniques for hybrid system verification (2003)

by A Chutinan, Krogh
Venue:IEEE T. Automat. Contr