APA (7th ed.) Citation

Jansen, D. N., Groote, J. F., Keiren, J. J. A., & Wijs, A. (2019). A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems.

Chicago Style (17th ed.) Citation

Jansen, David N., Jan Friso Groote, Jeroen J. A. Keiren, and Anton Wijs. A Simpler O(m Log N) Algorithm for Branching Bisimilarity on Labelled Transition Systems. 2019.

MLA (9th ed.) Citation

Jansen, David N., et al. A Simpler O(m Log N) Algorithm for Branching Bisimilarity on Labelled Transition Systems. 2019.