%0 Conference Paper %1 conf/concur/BokerHMS23 %A Boker, Udi %A Henzinger, Thomas A. %A Mazzocchi, Nicolas %A Saraç, N. Ege %B CONCUR %D 2023 %E Pérez, Guillermo A. %E Raskin, Jean-François %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 17:1-17:18 %T Safety and Liveness of Quantitative Automata. %U http://dblp.uni-trier.de/db/conf/concur/concur2023.html#BokerHMS23 %V 279 %@ 978-3-95977-299-0

@inproceedings{conf/concur/BokerHMS23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Boker, Udi and Henzinger, Thomas A. and Mazzocchi, Nicolas and Saraç, N. Ege}, biburl = {https://www.bibsonomy.org/bibtex/2777c3a40ea0713bf4e6a7b9c7fa03af9/dblp}, booktitle = {CONCUR}, crossref = {conf/concur/2023}, editor = {Pérez, Guillermo A. and Raskin, Jean-François}, ee = {https://doi.org/10.4230/LIPIcs.CONCUR.2023.17}, interhash = {3d4ae0e6acc23bde610142d619275295}, intrahash = {777c3a40ea0713bf4e6a7b9c7fa03af9}, isbn = {978-3-95977-299-0}, keywords = {dblp}, pages = {17:1-17:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:47:38.000+0200}, title = {Safety and Liveness of Quantitative Automata.}, url = {http://dblp.uni-trier.de/db/conf/concur/concur2023.html#BokerHMS23}, volume = 279, year = 2023 }