年度	2025
全部作者	洪智鐸
論文名稱	Chih-Duo Hong*;Anthony Lin;Philipp Rümmer;Rupak Majumdar, 2025.04, 'Bisimulation for Parameterized Anonymity and Uniformity Verification, ' IEEE Transactions on Software Engineering,.(SCIE)(*為通訊作者)(本論著未刊登但已被接受)
卷數	135040
發表日期	2025-04-01