Automated verification of feature model configuration processes based on workflow Petri nets.

Stephan Mennicke, Malte Lochau, Julia Schroeter, Tim Winkelmann

Browse the full SPLC paper archive.