Login / Signup

Branching Bisimulation Congruence for Probabilistic Systems.

Nikola TrckaSonja Georgievska
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases