APA (7th ed.) Citation

Groote, J. F., & Vaandrager, F. W. (1990). An efficient algorithm for branching bisimulation and stuttering equivalence.

Chicago Style (17th ed.) Citation

Groote, Jan F., and Frits W. Vaandrager. An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. Amsterdam, 1990.

MLA (9th ed.) Citation

Groote, Jan F., and Frits W. Vaandrager. An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence. 1990.

Warning: These citations may not always be 100% accurate.