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.

Verification of Feature Coordination using the Fluent Calculus

Ralph Hoch, Hermann Kaindl. Verification of Feature Coordination using the Fluent Calculus. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. pages 169-179, SciTePress, 2018. [doi]

Authors

Ralph Hoch

This author has not been identified. Look up 'Ralph Hoch' in Google

Hermann Kaindl

This author has not been identified. Look up 'Hermann Kaindl' in Google
runs on