Talks and presentations

Model Checking Fairness LTL Efficiently

December 09, 2015

Seminar talk, GI-Dagstuhl-Seminar 15504, Dagstuhl, Germany

This talk was given at Dagstuhl seminar on Formal Evaluation of Critical Infrastructures.