One-pass Context-based Tableaux Systems for CTL and ECTL. By Alexander Bolotov

4 views