5./6. SPIN 1999: Trento, Italy / Toulouse, France

Part I: Selection of Papers Presented at 5th SPIN99

Keynote Address

Theory

Part II: Selection of Papers Presented at 6th SPIN99

Keynote Address

Methodology

Applications I

Specification and Validation

Applications II

Extensions

a service of Schloss Dagstuhl - Leibniz Center for Informatics