| Modal characterisation of simulation relations in probabilistic concurrent games |
| English |
| Zhang, Chenyi [] |
| Pang, Jun [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >] |
| Mar-2022 |
| Science of Computer Programming |
| Elsevier |
| 215 |
| 102762 |
| Yes |
| International |
| Researchers ; Professionals |
| http://hdl.handle.net/10993/49150 |
| 10.1016/j.scico.2021.102762 |