Formal Verification for Feature-Based Composition of Workflows
Date first appeared online 12/11/2018
DOI 10.1109/EDCC.2018.00039
Authors Setzer A.
Journal Name
Volume