External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Goal-conflict detection based on temporal satisfiability checking

Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre. Goal-conflict detection based on temporal satisfiability checking. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 507-518, ACM, 2016. [doi]

Authors

Renzo Degiovanni

This author has not been identified. Look up 'Renzo Degiovanni' in Google

Nicolás Ricci

This author has not been identified. Look up 'Nicolás Ricci' in Google

Dalal Alrajeh

This author has not been identified. Look up 'Dalal Alrajeh' in Google

Pablo F. Castro

This author has not been identified. Look up 'Pablo F. Castro' in Google

Nazareno Aguirre

This author has not been identified. Look up 'Nazareno Aguirre' in Google
runs on