Extending fairness expressibility of ECTL+: A tree-style one-pass tableau approach
ISSN: 1868-8969
ISBN: 9783959770897
Argitalpen urtea: 2018
Alea: 120
Mota: Biltzar ekarpena
ISSN: 1868-8969
ISBN: 9783959770897
Argitalpen urtea: 2018
Alea: 120
Mota: Biltzar ekarpena