A Complete Axiomatisation of Branching Bisimulation for Prob…
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems%252C with an Application in Protocol Verification
eBook
Authors:
S. Andova
Page:
327-342
Published:
2006
ISBN:
3540373764
We were unable to find direct full text links for this item.