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