3. TACAS 1997: Enschede, The Netherlands

Session 1: Invited talk

Session 2: Space Reduction Techniques

Session 3: Tool Demonstration

Session 4: Logical Techniques

Session 5: Invited Talk

Sesion 6: Verification Support

Session 7: Specification and Analysis

Session 8: Invited Talk

Session 9: Theorem Proving, Model Checking and Their Applications

maintained by Schloss Dagstuhl LZI at University of Trier