Desel, JörgDesel, JörgWeske, Mathias2019-11-142019-11-1420023-88579-350-4https://dl.gi.de/handle/20.500.12116/30175deValidierung und Verifikation von ProzessmodellenText/Conference Paper1617-5468