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, founded at University of Trier