APA-Zitierstil (7. Ausg.)

Chen, H., Wu, C., Zhao, A., Raghothaman, M., Naik, M., & Loo, B. T. (2023). Synthesizing Formal Network Specifications From Input-Output Examples. IEEE/ACM transactions on networking, 31(3), 1-16. https://doi.org/10.1109/TNET.2022.3208551

Chicago-Zitierstil (17. Ausg.)

Chen, Haoxian, Chenyuan Wu, Andrew Zhao, Mukund Raghothaman, Mayur Naik, und Boon Thau Loo. "Synthesizing Formal Network Specifications From Input-Output Examples." IEEE/ACM Transactions on Networking 31, no. 3 (2023): 1-16. https://doi.org/10.1109/TNET.2022.3208551.

MLA-Zitierstil (9. Ausg.)

Chen, Haoxian, et al. "Synthesizing Formal Network Specifications From Input-Output Examples." IEEE/ACM Transactions on Networking, vol. 31, no. 3, 2023, pp. 1-16, https://doi.org/10.1109/TNET.2022.3208551.