@inproceedings{schrammel:hal-00749891, TITLE = {{From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation}}, AUTHOR = {Schrammel, Peter and Jeannet, Bertrand}, URL = {https://hal.inria.fr/hal-00749891}, BOOKTITLE = {{Hybrid Systems: Computation and Control}}, ADDRESS = {Beijing, China}, EDITOR = {{Thao Dang and Ian Mitchell}}, PUBLISHER = {{ACM}}, SERIES = {HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control}, PAGES = {167-176}, YEAR = {2012}, DOI = {10.1145/2185632.2185658}, KEYWORDS = {Data-Flow Languages ; Hybrid Systems ; Hybrid Automata ; Verification}, HAL_ID = {hal-00749891}, HAL_VERSION = {v1}, }