https://scholars.lib.ntu.edu.tw/handle/123456789/117182
標題: | Reverse Reachability Analysis:a New Technique for Deadlock Detection on Communicating Finite State Machines | 作者: | Hung, Y. C. 陳健輝 Chen, Gen-Huey |
公開日期: | 1993 | 卷: | v.23 n.9 | 起(迄)頁: | 965-979 | 來源出版物: | Software-Practice & Experience | URI: | http://ntur.lib.ntu.edu.tw//handle/246246/118463 |
顯示於: | 資訊工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。