Publications

of Tim Winkelmann

Conference articles

  1. Uwe Lesta, Ina Schaefer, and Tim Winkelmann. Detecting and Explaining Conflicts in Attributed Feature Models. In Joanne M. Atlee and Stefania Gnesi, editors, Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015., volume 182 of EPTCS, pages 31-43, 2015. [WWW] [doi:10.4204/EPTCS.182.3]

BACK TO INDEX