150 citations · 623 across the 65 of their papers we have counts for
1 paper · 2 filters
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…