13. PSTV 1993: Liège, Belgium

Keynote Address - Invited Paper

Support for Protocol Engineering with LOTOS

Verification Methods and Tools

Time and Probabilities in Formal Design

Application of Formal Methods to Real Protocol Case Studies

Conformance Test Generation and Coverage

Methods for Synthesising and Transforming Formal Descriptions

Invited Paper

maintained by Schloss Dagstuhl LZI at University of Trier