Extending fairness expressibility of ECTL+: A tree-style one-pass tableau approach
ISSN: 1868-8969
ISBN: 9783959770897
Año de publicación: 2018
Volumen: 120
Tipo: Aportación congreso
ISSN: 1868-8969
ISBN: 9783959770897
Año de publicación: 2018
Volumen: 120
Tipo: Aportación congreso