Formal Verification for Feature-Based Composition of Workflows.

Stephan Adelsberger, Bashar Igried, Markus Moser, Vadim Savenkov, Anton Setzer

Browse the full EDCC paper archive.