6. FTRTFT 2000: Pune, India

Invited Lectures

Model Checking

Fault Tolerance

Scheduling

Validation

Refinement

Verification

Logic and Automata

a service of Schloss Dagstuhl - Leibniz Center for Informatics