Year	2025
Authors	Chih-Duo Hong
Paper Title	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 (TSE), Vol.6, No.51, pp.1801-1817.(SCIE)(*為通訊作者)
Vol.No	135040
Date of Publication	2025-06-01
Reference URL	https://nccur.lib.nccu.edu.tw/handle/140.119/157080