From hybrid data−flow languages to hybrid automata: a complete translation

Bibliographic Details
Main Authors: Schrammel, P, Jeannet, B
Format: Conference item
Published: ACM 2012