Modeling and Verification of Judicial Workflows

Malte Hübner, Hendrik Schöttle. Modeling and Verification of Judicial Workflows. In Bernhard Rumpe, Wolfgang Hesse, editors, Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings. Volume 45 of LNI, pages 301-302, GI, 2004.

Abstract

Abstract is missing.