APA (7th ed.) Citation

Bollig, B., Finkel, A., & Suresh, A. (2022). Branch-Well-Structured Transition Systems and Extensions.

Chicago Style (17th ed.) Citation

Bollig, Benedikt, Alain Finkel, and Amrita Suresh. Branch-Well-Structured Transition Systems and Extensions. 2022.

MLA (9th ed.) Citation

Bollig, Benedikt, et al. Branch-Well-Structured Transition Systems and Extensions. 2022.