1 paper
Uli Fahrenberg, Axel Legay
A featured transition system is a transition system in which the transitions are annotated with feature expressions: Boolean expressions on a finite number of given features. Depen…