@inproceedings{mci/Hübner2004,
author = {Hübner, Malte AND Schöttle, Hendrik},
title = {Modeling and verification of judicial workflows},
booktitle = {Modellierung 2004},
year = {2004},
editor = {Rumpe, Bernhard AND Hesse, Wolfgang} ,
pages = { 301-302 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}