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: Volume:356, Issue:3, Page(s):325-355
Published: 2006
Browse related articles
  Request a copy of this item
Cite this item