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.

SMT-based variability analyses in FeatureIDE

Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer. SMT-based variability analyses in FeatureIDE. In Maxime Cordy, Mathieu Acher, Danilo Beuche, Gunter Saake, editors, VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, Magdeburg Germany, February 5-7, 2020. ACM, 2020. [doi]

Authors

Joshua Sprey

This author has not been identified. Look up 'Joshua Sprey' in Google

Chico Sundermann

This author has not been identified. Look up 'Chico Sundermann' in Google

Sebastian Krieter

This author has not been identified. Look up 'Sebastian Krieter' in Google

Michael Nieke

This author has not been identified. Look up 'Michael Nieke' in Google

Jacopo Mauro

This author has not been identified. Look up 'Jacopo Mauro' in Google

Thomas Thüm

This author has not been identified. It may be one of the following persons: Look up 'Thomas Thüm' in Google

Ina Schaefer

This author has not been identified. It may be one of the following persons: Look up 'Ina Schaefer' in Google
runs on