Lehrstuhl für Systeme der Informationsverwaltung

Automatic Generation of Optimized Process Models from Declarative Specifications