Branching bisimulation for probabilistic systems%25253A char…
Branching bisimulation for probabilistic systems%25253A characteristics and decidability
Article, Chapter
Authors:
S. Andova
Publication:
Volume:356,
Issue:3,
Page(s):325-355
Published:
2006
We were unable to find direct full text links for this item.