Media type: E-Book Title: Automatic Generation of Optimized Process Models from Declarative Specifications Contributor: Mrasek, Richard [Author]; Mülle, Jutta [Author]; Böhm, Klemens [Author] imprint: Karlsruhe: KIT, Fakultät für Informatik, 2014 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2014,15 Extent: Online-Ressource Language: English Origination: Footnote: Access State: Open Access