Year	2011
Authors	Dung, Lan-Rong
Paper Title	Tsung-Hsi Chiang and Lan-Rong Dung, 2006, June, “System Level Verification on High-Level Synthesis of Dataflow Algorithms Using Petri Net,” WSEAS transactions on Circuits and Systems, Issue 6, Vol. 5, pp.790-796 (EI) (NSC 94-2220-E-009-039)
Date of Publication	2011-07-26