Werner Lauterbach

Publication Activity (10 Years)

Years Active: 1995-1996
Publications (10 Years): 0

Publications

Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach
Verification of the Sparrow Processor. ECBS (1996)
Reinhard Bündgen, Werner Lauterbach
Combining Reductions and Computations in ReDuX. AMAST (1996)
Reinhard Bündgen, Werner Lauterbach
Experiments with Partial Evaluation Domains for Rewrite Specifications. COMPASS/ADT (1995)