TY  - RPRT
TI  - Automata-Theoretic Characterisations of Branching-Time Temporal Logics
AU  - Massimo Benerecetti
AU  - Laura Bozzelli
AU  - Fabio Mogavero
AU  - Adriano Peron
PY  - 2024
UR  - https://arxiv.org/abs/2404.17421
ID  - 2404.17421
ER  -