Malte Hübner

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

2 Malte Hübner, Hendrik Schöttle: Modeling and Verification of Judicial Workflows. Modellierung 2004: 301-302

1 Malte Hübner, Serge Autexier, Christoph Benzmüller, Andreas Meier: Interactive Theorem Proving with Tasks. Electr. Notes Theor. Comput. Sci. 103: 161-181 (2004)

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

Coauthor Index

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Serge Autexier	[1]
2	Christoph Benzmüller (Christoph Benzmueller)	[1]
3	Andreas Meier	[1]
4	Hendrik Schöttle	[2]