Andreas Wolf

Publication Activity (10 Years)

Years Active: 1998-2000
Publications (10 Years): 0

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Markus Müller-Olm, Andreas Wolf
On the Translation of Procedures to Finite Machines. ESOP (2000)
Markus Müller-Olm, Andreas Wolf
On Excusable and Inexcusable Failures. World Congress on Formal Methods (1999)
Rudolf Berghammer, Burghard von Karger, Andreas Wolf
Relation-Algebraic Derivation of Spanning Tree Algorithms. MPC (1998)