年度	2019
全部作者	洪智鐸
論文名稱	Chih-Duo Hong*;Anthony Lin;Rupak Majumdar;Philipp Rümmer, 2019.07, 'Probabilistic Bisimulation for Parameterized Systems, ' The 31st International Conference on Computer-Aided Verification (CAV), NYU.(DBLP, Springer)(*為通訊作者)
參考連結	https://nccur.lib.nccu.edu.tw/handle/140.119/147694
發表日期	2019-07-01
ISI Number	107188