Hübner, MalteSchöttle, HendrikRumpe, BernhardHesse, Wolfgang2019-10-162019-10-1620043-88579-374-1https://dl.gi.de/handle/20.500.12116/29250enModeling and verification of judicial workflowsText/Conference Paper1617-5468