Skip to content

Formal modelling of feature configuration workflows.

Arnaud Hubaux, Andreas Classen, Patrick Heymans

VenueBSPLC
Year2009
ProceedingsSPLC

Browse the full SPLC paper archive.