Edit search
Branching bisimulation for probabilistic systems%3A characte…
Branching bisimulation for probabilistic systems%3A characteristics and decidability
Branching bisimulation for probabilistic systems%3A characteristics and decidability
Article, Chapter
Authors: S. Andova
Publication: Theoretical Computer Science, Volume:356, Issue:3, Page(s):325-355
Published: Elsevier, 2006
ISSN: 0304-3975
  Full text availability for this item
Browse related articles
  Print copies at your library
  Request a copy of this item
Cite this item