%0 Conference Paper %1 conf/concur/AdsulG0W22 %A Adsul, Bharat %A Gastin, Paul %A Sarkar, Saptarshi %A Weil, Pascal %B CONCUR %D 2022 %E Klin, Bartek %E Lasota, Slawomir %E Muscholl, Anca %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 28:1-28:19 %T Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. %U http://dblp.uni-trier.de/db/conf/concur/concur2022.html#AdsulG0W22 %V 243 %@ 978-3-95977-246-4

@inproceedings{conf/concur/AdsulG0W22, added-at = {2022-09-26T00:00:00.000+0200}, author = {Adsul, Bharat and Gastin, Paul and Sarkar, Saptarshi and Weil, Pascal}, biburl = {https://www.bibsonomy.org/bibtex/292d2c68131af78e484d2a8023bc25f6d/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2022}, editor = {Klin, Bartek and Lasota, Slawomir and Muscholl, Anca}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.28}, interhash = {8327942d6041d4c3779e999d85ecac26}, intrahash = {92d2c68131af78e484d2a8023bc25f6d}, isbn = {978-3-95977-246-4}, keywords = {dblp}, pages = {28:1-28:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T23:26:33.000+0200}, title = {Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2022.html#AdsulG0W22}, volume = 243, year = 2022 }