| |
| 2004 | ||
|---|---|---|
| 2 | Malte Hübner, Hendrik Schöttle: Modeling and Verification of Judicial Workflows. Modellierung 2004: 301-302 | |
| 1 | EE | Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004) |
| 1 | Serge Autexier | [1] |
| 2 | Christoph Benzmüller (Christoph Benzmueller) | [1] |
| 3 | Andreas Meier | [1] |
| 4 | Hendrik Schöttle | [2] |