Richard Mrasek, Jutta A. Mülle, Klemens Böhm. Automatic Generation of Optimized Process Models from Declarative Specifications. In Jelena Zdravkovic, Marite Kirikova, Paul Johannesson, editors, Advanced Information Systems Engineering - 27th International Conference, CAiSE 2015, Stockholm, Sweden, June 8-12, 2015, Proceedings. Volume 9097 of Lecture Notes in Computer Science, pages 382-397, Springer, 2015. [doi]
Abstract is missing.