![]() | ![]() |
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] |