| Year | 2025 |
|---|---|
| Authors | Chih-Duo Hong |
| Paper Title | 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)(*為通訊作者)(本論著未刊登但已被接受) |
| Vol.No | 135040 |
| Date of Publication | 2025-04-01 |
Login Department of Management Information Systems, NCCU
