%0 Conference Paper %1 conf/icalp/BenerecettiBMP24 %A Benerecetti, Massimo %A Bozzelli, Laura %A Mogavero, Fabio %A Peron, Adriano %B ICALP %D 2024 %E Bringmann, Karl %E Grohe, Martin %E Puppis, Gabriele %E Svensson, Ola %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 128:1-128:20 %T Automata-Theoretic Characterisations of Branching-Time Temporal Logics. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2024.html#BenerecettiBMP24 %V 297 %@ 978-3-95977-322-5

@inproceedings{conf/icalp/BenerecettiBMP24, added-at = {2024-07-02T00:00:00.000+0200}, author = {Benerecetti, Massimo and Bozzelli, Laura and Mogavero, Fabio and Peron, Adriano}, biburl = {https://www.bibsonomy.org/bibtex/22f90ebd5fa634a141a67c26bcf66d707/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/2024}, editor = {Bringmann, Karl and Grohe, Martin and Puppis, Gabriele and Svensson, Ola}, ee = {https://doi.org/10.4230/LIPIcs.ICALP.2024.128}, interhash = {c1329f002b05be1f422c3a1e3a1e58f9}, intrahash = {2f90ebd5fa634a141a67c26bcf66d707}, isbn = {978-3-95977-322-5}, keywords = {dblp}, pages = {128:1-128:20}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:27:32.000+0200}, title = {Automata-Theoretic Characterisations of Branching-Time Temporal Logics.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2024.html#BenerecettiBMP24}, volume = 297, year = 2024 }