Year	2011
Authors	Dung, Lan-Rong
Paper Title	Tsung-Hsi Chiang, Lan-Rong Dung and Ming-Feng Yaung, 2005, May “Modeling and Formal Verification of Dataflow Graph in System-Level Design Using Petri net,” ISCAS 2005 (NSC 93-2220-E-009-023-)
Date of Publication	2011-07-26