Over-Approximated Control Flow Graph Construction on Pure Esterel

Chul-Joo Kim, Jeong-Han Yun, Seonggun Kim, Kwang-Moo Choe, Taisook Han. Over-Approximated Control Flow Graph Construction on Pure Esterel. IEICE Transactions, 93-D(5):985-993, 2010. [doi]

Abstract

Abstract is missing.