年度	2000
全部作者	趙玉
論文名稱	Jose A. Nicdao, 2000, 'An Integrated Algorithm for Verification of SNC and Liveness, ' SCI2000/ISAS, X.
參考連結	http://nccur.lib.nccu.edu.tw/handle/140.119/26060
ISI Number	154965