Specifying Intra-Component Dependencies for Synthesizing Component Behaviors.

Stefan Dziwok, Sebastian Goschin, Steffen Becker

Browse the full MODELS paper archive.