Compiling Esterel into Static Discrete-Event Code
2006 ◽
Vol 153
(4)
◽
pp. 117-131
◽
2017 ◽
Vol 6
(10)
◽
pp. 30-39
◽
2010 ◽
Vol 33
(5)
◽
pp. 813-821
◽