From hybrid data−flow languages to hybrid automata: a complete translation
Peter Schrammel and Bertrand Jeannet
Book Title
Hybrid Systems: Computation and Control‚ HSCC'12
Pages
167−176
Publisher
ACM
Year
2012
Peter Schrammel and Bertrand Jeannet