| 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, Vol.6, No.51, pp.1801-1817.(IEEE, SCI)(*為通訊作者) |
| Vol.No | 135040 |
| Date of Publication | 2025-06-01 |
Login Department of Management Information Systems, NCCU
