%0 Conference Proceedings
%F Benveniste2010a
%A Benveniste, A.
%A Caillaud, B.
%A Pouzet, M.
%T The Fundamentals of Hybrid Systems Modelers
%B 49th IEEE Conference on Decision and Control (CDC 2010)
%I IEEE Computer Society
%U http://www.irisa.fr/s4/download/papers/nss-cdc-2010.pdf
%U http://dx.doi.org/10.1109/CDC.2010.5717614
%D 2010
%K synchrony
%K hybrid