%0 Conference Paper %1 conf/ictcs/ChiariMP19 %A Chiari, Michele %A Mandrioli, Dino %A Pradella, Matteo %B ICTCS %D 2019 %E Cherubini, Alessandra %E Sabadini, Nicoletta %E Tini, Simone %I CEUR-WS.org %K dblp %P 222-228 %T Word- and Tree-based Temporal Logics for Operator Precedence Languages. %U http://dblp.uni-trier.de/db/conf/ictcs/ictcs2019.html#ChiariMP19 %V 2504

@inproceedings{conf/ictcs/ChiariMP19, added-at = {2023-03-10T00:00:00.000+0100}, author = {Chiari, Michele and Mandrioli, Dino and Pradella, Matteo}, biburl = {https://www.bibsonomy.org/bibtex/2e6e54ac16fe6614f1f4431fc0edd17dc/dblp}, booktitle = {ICTCS}, crossref = {conf/ictcs/2019}, editor = {Cherubini, Alessandra and Sabadini, Nicoletta and Tini, Simone}, ee = {https://ceur-ws.org/Vol-2504/paper25.pdf}, interhash = {e1206e6c631d749a95d7fa51e67dd1fd}, intrahash = {e6e54ac16fe6614f1f4431fc0edd17dc}, keywords = {dblp}, pages = {222-228}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T18:17:20.000+0200}, title = {Word- and Tree-based Temporal Logics for Operator Precedence Languages.}, url = {http://dblp.uni-trier.de/db/conf/ictcs/ictcs2019.html#ChiariMP19}, volume = 2504, year = 2019 }