@misc{indiciae89fafc5bbc31,
  title = {Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach},
  author = {Nikola Trčka},
  year = {2009},
  doi = {10.4204/eptcs.13.5},
  url = {https://arxiv.org/abs/0912.1902},
  note = {Source identifier: 0912.1902}
}