功能/連結
類別瀏覽
正在載入社群分類, 請稍候....
|
年代瀏覽
|
正在載入年代分類, 請稍候....
|
"Rümmer, Philipp"的相關文件
回到依作者瀏覽
顯示 3 項.
|
類別 |
日期 |
題名 |
作者 |
檔案 |
| [資訊管理學系] 期刊論文 |
2025-06 |
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification |
洪智鐸; Hong, Chih-Duo; Lin, Anthony W.; Rümmer, Philipp; Majumdar, Rupak |
 |
| [資訊管理學系] 會議論文 |
2019-07 |
Probabilistic Bisimulation for Parameterized Systems |
洪智鐸; Hong, Chih-Duo; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp |
|
| [資訊管理學系] 會議論文 |
2017-10 |
Learning to prove safety over parameterised concurrent systems |
洪智鐸; Hong, Chih-Duo; Chen, Yu-Fang; Lin, Anthony W.; Rümmer, Philipp |
|
|