9. PSTV 1989: Enschede, The Netherlands

Session 1: System Specification

Invited Presentation

Session 2: Process Algebra Applications

Session 3: Conformance Testing

Session 4: Specification Language Transformation

Invited Presentation

Session 5: Transition System Applications

Session 6: Tool Environments

Session 7: Verification by State Space Exploration

Session 8: Temporal Logic Applications

a service of Schloss Dagstuhl - Leibniz Center for Informatics