%0 Journal Article %1 journals/corr/abs-2404-17421 %A Benerecetti, Massimo %A Bozzelli, Laura %A Mogavero, Fabio %A Peron, Adriano %D 2024 %J CoRR %K dblp %T Automata-Theoretic Characterisations of Branching-Time Temporal Logics. %U http://dblp.uni-trier.de/db/journals/corr/corr2404.html#abs-2404-17421 %V abs/2404.17421

@article{journals/corr/abs-2404-17421, added-at = {2024-06-03T00:00:00.000+0200}, author = {Benerecetti, Massimo and Bozzelli, Laura and Mogavero, Fabio and Peron, Adriano}, biburl = {https://www.bibsonomy.org/bibtex/2372a584253eb5a45527dee18ac8227b4/dblp}, ee = {https://doi.org/10.48550/arXiv.2404.17421}, interhash = {c1329f002b05be1f422c3a1e3a1e58f9}, intrahash = {372a584253eb5a45527dee18ac8227b4}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-06-10T07:05:06.000+0200}, title = {Automata-Theoretic Characterisations of Branching-Time Temporal Logics.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2404.html#abs-2404-17421}, volume = {abs/2404.17421}, year = 2024 }