%0 Conference Paper %1 conf/lics/MascleBFJK21 %A Mascle, Corto %A Baier, Christel %A Funke, Florian %A Jantsch, Simon %A Kiefer, Stefan %B LICS %D 2021 %I IEEE %K dblp %P 1-14 %T Responsibility and verification: Importance value in temporal logics. %U http://dblp.uni-trier.de/db/conf/lics/lics2021.html#MascleBFJK21 %@ 978-1-6654-4895-6

@inproceedings{conf/lics/MascleBFJK21, added-at = {2021-07-20T00:00:00.000+0200}, author = {Mascle, Corto and Baier, Christel and Funke, Florian and Jantsch, Simon and Kiefer, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2438abe31a24bd9a546dda3c82c74794c/dblp}, booktitle = {LICS}, crossref = {conf/lics/2021}, ee = {https://doi.org/10.1109/LICS52264.2021.9470597}, interhash = {3c27178c5c1d23dfbd8db27649317e1c}, intrahash = {438abe31a24bd9a546dda3c82c74794c}, isbn = {978-1-6654-4895-6}, keywords = {dblp}, pages = {1-14}, publisher = {IEEE}, timestamp = {2024-04-09T13:16:51.000+0200}, title = {Responsibility and verification: Importance value in temporal logics.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2021.html#MascleBFJK21}, year = 2021 }