2. PSTV 1982: Idyllwild, CA, USA

Temporal Logic

State Transition Specification Methods

Other Specification Methods

Protocol Synthesis

Activity Reports

Verification Methods

Combined Specification and Verification

Testing and Compliance Checking

a service of Schloss Dagstuhl - Leibniz Center for Informatics