Please use this identifier to cite or link to this item:

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