| Year | 2019 |
|---|---|
| Authors | Chih-Duo Hong |
| Paper Title | Chih-Duo Hong*;Anthony Lin;Rupak Majumdar;Philipp Rümmer, 2019.07, 'Probabilistic Bisimulation for Parameterized Systems, ' The 31st International Conference on Computer-Aided Verification (CAV), NYU.(DBLP, Springer)(*為通訊作者) |
| Date of Publication | 2019-07-01 |
| ISI Number | 107188 |
Login Department of Management Information Systems, NCCU
