年度	2011
全部作者	董蘭榮
論文名稱	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
發表日期	2011-07-26