![](/img/cover-not-exists.png)
Over-Approximated Control Flow Graph Construction on Pure Esterel
KIM, Chul-Joo, YUN, Jeong-Han, KIM, Seonggun, CHOE, Kwang-Moo, HAN, TaisookVolume:
E93.D
Year:
2010
Language:
english
Journal:
IEICE Transactions on Information and Systems
DOI:
10.1587/transinf.e93.d.985
File:
PDF, 980 KB
english, 2010