Glabbeek, R. v. (1991). Branching time and abstraction in bisimulation semantics. Centrum voor Wiskunde en Informatica.
Chicago Style (17th ed.) CitationGlabbeek, Rob van. Branching Time and Abstraction in Bisimulation Semantics. Amsterdam: Centrum voor Wiskunde en Informatica, 1991.
MLA (9th ed.) CitationGlabbeek, Rob van. Branching Time and Abstraction in Bisimulation Semantics. Centrum voor Wiskunde en Informatica, 1991.
Warning: These citations may not always be 100% accurate.