"Proceedings of the 16th international conference on Hybrid systems: ..."

Calin Belta, Franjo Ivancic (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics