id: 70972942
dt: a
an: 70972942
au: Cimatti, Alessandro; Mover, Sergio; Tonetta, Stefano
ti: Hydi: A language for symbolic hybrid systems with discrete interaction
so: EUROMICRO-SEAA, 275-278 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://doi.ieeecomputersociety.org/10.1109/SEAA.2011.49