APA-Zitierstil (7. Ausg.)

Glabbeek, R. v. (1993). What is branching time semantics and why to use it?

Chicago-Zitierstil (17. Ausg.)

Glabbeek, Rob van. What Is Branching Time Semantics and Why to Use It? Stanford, Calif, 1993.

MLA-Zitierstil (9. Ausg.)

Glabbeek, Rob van. What Is Branching Time Semantics and Why to Use It? 1993.