%0 Conference Paper %1 conf/lpar/FinkbeinerS23 %A Finkbeiner, Bernd %A Siber, Julian %B LPAR %D 2023 %E Piskac, Ruzica %E Voronkov, Andrei %I EasyChair %K dblp %P 181-204 %T Counterfactuals Modulo Temporal Logics. %U http://dblp.uni-trier.de/db/conf/lpar/lpar2023.html#FinkbeinerS23 %V 94

@inproceedings{conf/lpar/FinkbeinerS23, added-at = {2023-07-12T00:00:00.000+0200}, author = {Finkbeiner, Bernd and Siber, Julian}, biburl = {https://www.bibsonomy.org/bibtex/2fcd6911af5b914e49542d1e3fbb0c234/dblp}, booktitle = {LPAR}, crossref = {conf/lpar/2023}, editor = {Piskac, Ruzica and Voronkov, Andrei}, ee = {https://doi.org/10.29007/qtw7}, interhash = {863e932d6ed04e42a14a239e9841f67a}, intrahash = {fcd6911af5b914e49542d1e3fbb0c234}, keywords = {dblp}, pages = {181-204}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T10:16:07.000+0200}, title = {Counterfactuals Modulo Temporal Logics.}, url = {http://dblp.uni-trier.de/db/conf/lpar/lpar2023.html#FinkbeinerS23}, volume = 94, year = 2023 }