年度	2025
全部作者	洪智铎
论文名称	Chih-Duo Hong*;Anthony Lin;Philipp Rümmer;Rupak Majumdar, 2025.06, 'Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification, ' IEEE Transactions on Software Engineering, Vol.6, No.51, pp.1801-1817.(IEEE, SCI)(*为通讯作者)
卷数	135040
发表日期	2025-06-01