Operational semantics of hybrid systems (2005)

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