dc.contributor | 資管系 | |
dc.creator (作者) | 洪智鐸 | |
dc.creator (作者) | Hong, Chih-Duo;Lin, Anthony W.;Majumdar, Rupak;Rümmer, Philipp | |
dc.date (日期) | 2019-07 | |
dc.date.accessioned | 26-Sep-2023 15:31:34 (UTC+8) | - |
dc.date.available | 26-Sep-2023 15:31:34 (UTC+8) | - |
dc.date.issued (上傳時間) | 26-Sep-2023 15:31:34 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/147694 | - |
dc.format.extent | 108 bytes | - |
dc.format.mimetype | text/html | - |
dc.relation (關聯) | The 31st International Conference on Computer-Aided Verification (CAV 2019), NYU | |
dc.title (題名) | Probabilistic Bisimulation for Parameterized Systems | |
dc.type (資料類型) | conference | |
dc.identifier.doi (DOI) | 10.1007/978-3-030-25540-4_27 | |
dc.doi.uri (DOI) | https://doi.org/10.1007/978-3-030-25540-4_27 | |