BRANCH-WELL-STRUCTURED TRANSITION SYSTEMS AND EXTENSIONS.

MLA

Bollig, Benedikt, et al. “Branch-Well-Structured Transition Systems and Extensions.” Logical Methods in Computer Science (LMCS), vol. 20, no. 2, Apr. 2024, pp. 1–28. EBSCOhost, https://doi.org/10.46298/LMCS-20(2:12)2024.

APA

Bollig, B., Finkel, A., & Suresh, A. (2024). Branch-Well-Structured Transition Systems and Extensions. Logical Methods in Computer Science (LMCS), 20(2), 1–28. https://doi.org/10.46298/LMCS-20(2:12)2024

Chicago

Bollig, Benedikt, Alain Finkel, and Amrita Suresh. 2024. “Branch-Well-Structured Transition Systems and Extensions.” Logical Methods in Computer Science (LMCS) 20 (2): 1–28. doi:10.46298/LMCS-20(2:12)2024.