%0 Conference Paper %1 conf/fossacs/HenzingerMS23 %A Henzinger, Thomas A. %A Mazzocchi, Nicolas %A Saraç, N. Ege %B FoSSaCS %D 2023 %E Kupferman, Orna %E Sobocinski, Pawel %I Springer %K dblp %P 349-370 %T Quantitative Safety and Liveness. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#HenzingerMS23 %V 13992 %@ 978-3-031-30829-1

@inproceedings{conf/fossacs/HenzingerMS23, added-at = {2024-05-07T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Mazzocchi, Nicolas and Saraç, N. Ege}, biburl = {https://www.bibsonomy.org/bibtex/207aa432e7b981106c2e1270c3ad1e01f/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/2023}, editor = {Kupferman, Orna and Sobocinski, Pawel}, ee = {https://doi.org/10.1007/978-3-031-30829-1_17}, interhash = {75b441ddd17f274e56ce6227692e78ca}, intrahash = {07aa432e7b981106c2e1270c3ad1e01f}, isbn = {978-3-031-30829-1}, keywords = {dblp}, pages = {349-370}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:55:33.000+0200}, title = {Quantitative Safety and Liveness.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs2023.html#HenzingerMS23}, volume = 13992, year = 2023 }