@inproceedings{ZP12,
  author        = {C. Zhang and J. Pang},
  title         = {An algorithm for probabilistic alternating simulation},
  booktitle     = {Proc.\ 38th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'12)},
  publisher     = {Springer-Verlag},
  series        = {Lecture Notes in Computer Science},
  year          = {2012},
  volume        = {7147},
  pages         = {431--442},
  url           = {http://satoss.uni.lu/jun/papers/SOFSEM12.pdf},
  ulkey         = {Zhang:7474}
}