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.

Authors

Malte Hübner

This author has not been identified. Look up 'Malte Hübner' in Google

Hendrik Schöttle

This author has not been identified. Look up 'Hendrik Schöttle' in Google