Quantitative safety and liveness

From MaRDI portal
Publication:6091203

DOI10.1007/978-3-031-30829-1_17arXiv2301.11175MaRDI QIDQ6091203

Nicolas Mazzocchi, Thomas A. Henzinger, N. Ege Saraç

Publication date: 24 November 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2301.11175






Cites Work


This page was built for publication: Quantitative safety and liveness