in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC 2015
Pages: 199-208
Conference
18Th Acm International Conference on Hybrid Systems: Computation and Control, Hscc 2015, Date: 14 April 2015 through 16 April 2015, Sponsors: ACM Special Interest Group on Embedded Systems (ACM SIGBED)