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

maintained by Schloss Dagstuhl LZI, founded at University of Trier