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.

@inproceedings{HubnerS04,
  title = {Modeling and Verification of Judicial Workflows},
  author = {Malte Hübner and Hendrik Schöttle},
  year = {2004},
  tags = {meta-model, modeling, Meta-Environment, workflow},
  researchr = {https://researchr.org/publication/HubnerS04},
  cites = {0},
  citedby = {0},
  pages = {301-302},
  booktitle = {Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, Marburg, Proceedings},
  editor = {Bernhard Rumpe and Wolfgang Hesse},
  volume = {45},
  series = {LNI},
  publisher = {GI},
}