6. FTRTFT 2000: Pune, India

Invited Lectures

Model Checking

Fault Tolerance

Scheduling

Validation

Refinement

Verification

Logic and Automata

maintained by Schloss Dagstuhl LZI at University of Trier