年度	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)(*为通讯作者)
发表日期	2019-07-01
ISI Number	107188