Year	2011
Authors	Dung, Lan-Rong
Paper Title	Tsung-Hsi Chiang and Lan-Rong Dung, 2005, August, “System-Level Verification of Dataflow Graph Using Petri net model,” the 16th VLSI Design/CAD Symposium
Date of Publication	2011-07-26