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