Glabbeek, R. v. (1993). A complete axiomatization for branching bisimulation congruence of finite-state behaviours.
Chicago-Zitierstil (17. Ausg.)Glabbeek, Rob van. A Complete Axiomatization for Branching Bisimulation Congruence of Finite-state Behaviours. Stanford, Calif, 1993.
MLA-Zitierstil (9. Ausg.)Glabbeek, Rob van. A Complete Axiomatization for Branching Bisimulation Congruence of Finite-state Behaviours. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.