MPI-INF Logo

MPI-INF D1 Publications

Search the publication database
.
Return

Your search returned the following document:

  1. A New Combinatorial Approach to Parametric Path Analysis
    Bernd Becker, Werner Damm, Martin Fränzle, Ernst-Rüdiger Olderog, Andreas Podelski, and Reinhard Wilhelm(Ed.)
    Ernst Althaus, Sebastian Altmeyer, and Rouven Naujoks
    SFB/TR 14 AVACS, SFB/TR 14 AVACS, ATR 58, Reports of SFB/TR 14 AVACS