Conditioned model slicing of feature-annotated state machines.

Jochen Kamischke, Malte Lochau, Hauke Baller

Browse the full GPCE paper archive.