@inproceedings{ZP20,
  author        = {C. Zhang and J. Pang},
  title         = {Characterising probabilistic alternating simulation for concurrent games},
  booktitle     = {Proc.\ 14th IEEE Symposium on Theoretical Aspects of Software Engineering (TASE'20)},
  publisher     = {IEEE Computer Society},
  year          = {2012},
  pages         = {121-128}
}