14. SPIN 2007: Berlin, Germany

Refine list

showing all ?? records

Invited Contributions

Directed Model Checking

Partial Order Reduction

Program Analysis

Exploration Advances

Modeling and Cases

Tools

a service of  Schloss Dagstuhl - Leibniz Center for Informatics