APA (7th ed.) Citation

Song, J., Liu, G., & Wang, M. (2025). Model Checking of Workflow Nets with Tables and Constraints. ACM Transactions on Autonomous & Adaptive Systems, 20(2), 1. https://doi.org/10.1145/3736177

Chicago Style (17th ed.) Citation

Song, Jian, Guanjun Liu, and Miaomiao Wang. "Model Checking of Workflow Nets with Tables and Constraints." ACM Transactions on Autonomous & Adaptive Systems 20, no. 2 (2025): 1. https://doi.org/10.1145/3736177.

MLA (9th ed.) Citation

Song, Jian, et al. "Model Checking of Workflow Nets with Tables and Constraints." ACM Transactions on Autonomous & Adaptive Systems, vol. 20, no. 2, 2025, p. 1, https://doi.org/10.1145/3736177.