comp.doc.techreports
- AIB 2007-03: Proving Termination by Bounded Increase, Peter Schneider-Kamp
- AIB 2007-02: SAT Solving for Termination Analysis with Polynomial Interpretations, Peter Schneider-Kamp
- AIB 2006-02: Parallel Algorithms for Verification of Large Systems, Peter Schneider-Kamp
