Operational semantics of hybrid systems (2005)

by E A Lee, H Zheng
Venue:In Hybrid Systems: Computation and Control (HSCC), volume 3414 of LNCS