Zhang, C., Kapoor, P., Dardik, I., Cui, L., Meira-Goes, R., Garlan, D., & Kang, E. (2025, April 26). Constrained LTL Specification Learning from Examples. Proceedings / International Conference on Software Engineering, 629-641. https://doi.org/10.1109/ICSE55347.2025.00160
Chicago-Zitierstil (17. Ausg.)Zhang, Changjian, Parv Kapoor, Ian Dardik, Leyi Cui, Romulo Meira-Goes, David Garlan, und Eunsuk Kang. "Constrained LTL Specification Learning from Examples." Proceedings / International Conference on Software Engineering 26 Apr. 2025: 629-641. https://doi.org/10.1109/ICSE55347.2025.00160.
MLA-Zitierstil (9. Ausg.)Zhang, Changjian, et al. "Constrained LTL Specification Learning from Examples." Proceedings / International Conference on Software Engineering, 26 Apr. 2025, pp. 629-641, https://doi.org/10.1109/ICSE55347.2025.00160.