On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation

TitleOn the Efficiency of Deciding Probabilistic Automata Weak Bisimulation
Publication TypeJournal Article
Year of Publication2013
AuthorsHashemi, V, Hermanns, H, Turrini, A
Journal{ECEASST}
Volume66
URLhttp://journal.ub.tu-berlin.de/eceasst/article/view/895
Work Package: 
WP1