PANG, Jun ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Characterising probabilistic alternating simulation for concurrent games
Date de publication/diffusion :
2020
Nom de la manifestation :
14th IEEE Symposium on Theoretical Aspects of Software Engineering
Date de la manifestation :
2020
Manifestation à portée :
International
Titre de l'ouvrage principal :
Proceedings of the 14th IEEE Symposium on Theoretical Aspects of Software Engineering (TASE)
