11. SPIN 2004: Barcelona, Spain

Invited Paper

Heuristics and Probabilities

Improvements of SPIN

Validation of Timed Systems

Tool Papers

Abstraction and Symbolic Methods

Applications

Tutorials

maintained by Schloss Dagstuhl LZI at University of Trier