On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Vahid Hashemi, Holger Hermanns, Andrea Turrini. On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation. ECEASST, 66, 2013. [doi]

@article{HashemiHT13,
  title = {On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation},
  author = {Vahid Hashemi and Holger Hermanns and Andrea Turrini},
  year = {2013},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/895},
  researchr = {https://researchr.org/publication/HashemiHT13},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {66},
}

runs on WebDSL