年度	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