%0 Conference Paper %1 conf/atva/CoenenFFHMS22 %A Coenen, Norine %A Finkbeiner, Bernd %A Frenkel, Hadar %A Hahn, Christopher %A Metzger, Niklas %A Siber, Julian %B ATVA %D 2022 %E Bouajjani, Ahmed %E Holík, Lukás %E Wu, Zhilin %I Springer %K dblp %P 208-224 %T Temporal Causality in Reactive Systems. %U http://dblp.uni-trier.de/db/conf/atva/atva2022.html#CoenenFFHMS22 %V 13505 %@ 978-3-031-19992-9

@inproceedings{conf/atva/CoenenFFHMS22, added-at = {2022-11-13T00:00:00.000+0100}, author = {Coenen, Norine and Finkbeiner, Bernd and Frenkel, Hadar and Hahn, Christopher and Metzger, Niklas and Siber, Julian}, biburl = {https://www.bibsonomy.org/bibtex/2a50de127f070ecd9af250450dc1f9c81/dblp}, booktitle = {ATVA}, crossref = {conf/atva/2022}, editor = {Bouajjani, Ahmed and Holík, Lukás and Wu, Zhilin}, ee = {https://doi.org/10.1007/978-3-031-19992-9_13}, interhash = {086d253ed1e85d42206b8a99c058b59a}, intrahash = {a50de127f070ecd9af250450dc1f9c81}, isbn = {978-3-031-19992-9}, keywords = {dblp}, pages = {208-224}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:24:52.000+0200}, title = {Temporal Causality in Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2022.html#CoenenFFHMS22}, volume = 13505, year = 2022 }