dc.contributor | 資管系 | |
dc.creator (作者) | 洪智鐸 | |
dc.creator (作者) | Hong, Chih-Duo;Chen, Yu-Fang;Lin, Anthony W.;Rümmer, Philipp | |
dc.date (日期) | 2017-10 | |
dc.date.accessioned | 26-Sep-2023 15:31:12 (UTC+8) | - |
dc.date.available | 26-Sep-2023 15:31:12 (UTC+8) | - |
dc.date.issued (上傳時間) | 26-Sep-2023 15:31:12 (UTC+8) | - |
dc.identifier.uri (URI) | http://nccur.lib.nccu.edu.tw/handle/140.119/147691 | - |
dc.format.extent | 107 bytes | - |
dc.format.mimetype | text/html | - |
dc.relation (關聯) | The 17th International Conference on Formal Methods in Computer Aided Design (FMCAD 2017), TU Wien | |
dc.title (題名) | Learning to prove safety over parameterised concurrent systems | |
dc.type (資料類型) | conference | |
dc.identifier.doi (DOI) | 10.23919/FMCAD.2017.8102244 | |
dc.doi.uri (DOI) | https://doi.org/10.23919/FMCAD.2017.8102244 | |