政大學術集成


請使用永久網址來引用或連結此文件: https://ah.nccu.edu.tw/handle/140.119/26367


題名: The Algorithm for checking Liveness in synchronized Choice Net Detection
作者: 趙玉;Jose A. Nicdao
日期: 1999-10
上傳時間: 2009-01-16 11:20:23 (UTC+8)
關聯: 1999 IEEE Int'l Conf., SMC
資料類型: conference
顯示於類別:[資訊管理學系] 會議論文

文件中的檔案:

沒有與此文件相關的檔案.



在學術集成中所有的資料項目都受到原著作權保護.


社群 sharing