年度	2000
全部作者	赵玉
论文名称	赵玉, 2000, 'An Integrated Algorithm for verification of SNC and Liveness, ' SCI2000/ISAS, ISAS.
参考连结	http://nccur.lib.nccu.edu.tw/handle/140.119/26060
ISI Number	148268