APA (7th ed.) Citation

De Nicola, R., & Vaandrager, F. W. (1990). Three logics for branching bisimulation.

Chicago Style (17th ed.) Citation

De Nicola, Rocco, and Frits W. Vaandrager. Three Logics for Branching Bisimulation. Amsterdam, 1990.

MLA (9th ed.) Citation

De Nicola, Rocco, and Frits W. Vaandrager. Three Logics for Branching Bisimulation. 1990.