Optimizations for faster execution of Esterel programs (2003)

by D Potop-Butucaru, R de Simone
Venue:in Proceedings of the 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE ’03