Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach

@inproceedings{prole:2019:005,
title={{Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach}},
author={Alexander Bolotov and Montserrat Hermo and Paqui Lucio},
url={http://hdl.handle.net/11705/PROLE/2019/005},
booktitle={PROLE2019},
year={2019},
publisher={SISTEDES},
crossref={prole2019caceres}
}

@proceedings{prole2019caceres,
title={{Actas de las XIX Jornadas de Programaci{\'o}n y Lenguajes (PROLE 2019)}},
editor={Alpuente, M., Sapi{\~n}a, J. y Rodr{\'i}guez Echeverr{\'i}a, R.},
booktitle={PROLE2019},
year={2019},
publisher={SISTEDES}
}