Performance debugging of esterel specifications (2008)

by L Ju, B K Huynh, A Roychoudhury, S Chakraborty
Venue:In CODES+ISSS’08