年度	1999
全部作者	趙玉
論文名稱	趙玉;Jose A. Nicdao;趙玉, 1999, 'The Algorithm for checking Liveness in synchronized Choice Net Detection, ' 1999 IEEE Int''l Conf.SMC.Japan, Japan.
參考連結	http://nccur.lib.nccu.edu.tw/handle/140.119/26367
ISI Number	148286