A. Schh

A Petri Net Approach for the Performance Analysis of Business Processes

A. Schh, H. Rau, 1995 .

On the Power of Quantiiers in Rst-order Algebraic Speciication ?

D. Kempe, A. Schh, 1998 .

Discrete-Time Analysis of Batch Servers with Bounded Idle Time

P. Tran-Gia, A. Schh, A. Schömig, 1996, ESM.

Valid Extensions of Introspective Systems: a Foundation for Reeective Theorem Provers Universit at Karlsruhe Valid Extensions of Introspective Systems: a Foundation for Reeective Theorem Provers

A. Schh, 1994 .

Proof Obligations for Monomorphicity Universit at Karlsruhe Proof Obligations for Monomorphicity

A. Schh, 1995 .