Degiovanni, R., Ricci, N., Alrajeh, D., Castro, P., & Aguirre, N. (2016, September). Goal-conflict detection based on temporal satisfiability checking. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 507-518. https://doi.org/10.1145/2970276.2970349
Citace podle Chicago (17th ed.)Degiovanni, Renzo, Nicolas Ricci, Dalal Alrajeh, Pablo Castro, a Nazareno Aguirre. "Goal-conflict Detection Based on Temporal Satisfiability Checking." Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering Sep. 2016: 507-518. https://doi.org/10.1145/2970276.2970349.
Citace podle MLA (9th ed.)Degiovanni, Renzo, et al. "Goal-conflict Detection Based on Temporal Satisfiability Checking." Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, Sep. 2016, pp. 507-518, https://doi.org/10.1145/2970276.2970349.