Branching bisimulation for probabilistic systems%3A characte…
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
We were unable to find direct full text links for this item.