Please use this identifier to cite or link to this item: https://ah.nccu.edu.tw/handle/140.119/26367


Title: The Algorithm for checking Liveness in synchronized Choice Net Detection
Authors: 趙玉;Jose A. Nicdao
Date: 1999-10
Issue Date: 2009-01-16 11:20:23 (UTC+8)
Relation: 1999 IEEE Int'l Conf., SMC
Data Type: conference
Appears in Collections:[資訊管理學系] 會議論文

Files in This Item:

There are no files associated with this item.



All items in 學術集成 are protected by copyright, with all rights reserved.


社群 sharing