| dc.creator (作者) | Chao, Daniel Yuh ;Jose A. Nicdao | en_US |
| dc.creator (作者) | 趙玉 | - |
| dc.date (日期) | 2001 | en_US |
| dc.date.accessioned | 17-Jan-2009 16:34:28 (UTC+8) | - |
| dc.date.available | 17-Jan-2009 16:34:28 (UTC+8) | - |
| dc.date.issued (上傳時間) | 17-Jan-2009 16:34:28 (UTC+8) | - |
| dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/27352 | - |
| dc.format | application/ | en_US |
| dc.language | en | en_US |
| dc.language | en-US | en_US |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | Computer Journal, 44(2), 124-136 | en_US |
| dc.title (題名) | Liveness for Synchronized Choice Petri Nets | en_US |
| dc.type (資料類型) | article | en |
