"Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, ..."

Thao Dang, Ian M. Mitchell (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics