https://scholars.lib.ntu.edu.tw/handle/123456789/502440
標題: | Deciding a class of path formulas for conflict-free Petri nets | 作者: | Yen, H.-C. Wang, B.-Y. Yang, M.-S. HSU-CHUN YEN |
公開日期: | 1997 | 卷: | 30 | 期: | 5 | 起(迄)頁: | 475-494 | 來源出版物: | Theory of Computing Systems | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/502440 | DOI: | 10.1007/BF02679458 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。