APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Degiovanni, Renzo, Nicolas Ricci, Dalal Alrajeh, Pablo Castro, and 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.

MLA (9th ed.) Citation

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.