https://scholars.lib.ntu.edu.tw/handle/123456789/488780
標題: | Verifying scenarios with time Petri-nets. | 作者: | Lee, Jonathan Pan, Jiann-I Kuo, Jong-Yih JONATHAN LEE |
公開日期: | 2001 | 卷: | 43 | 期: | 13 | 起(迄)頁: | 769-781 | 來源出版物: | Information & Software Technology | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/488780 | DOI: | 10.1016/S0950-5849(01)00184-7 |
顯示於: | 資訊工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。