Zitate
APA-Zitierstil (7. Ausg.)
Boker, U., Henzinger, T. A., Mazzocchi, N., & Saraç, N. E. (2025). Safety and Liveness of Quantitative Properties and Automata. Logical Methods in Computer Science e.V.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Chicago-Zitierstil (17. Ausg.)
Boker, Udi, Thomas A. Henzinger, Nicolas Mazzocchi, und N. Ege Saraç. Safety and Liveness of Quantitative Properties and Automata. Logical Methods in Computer Science e.V, 2025.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
MLA-Zitierstil (9. Ausg.)
Boker, Udi, et al. Safety and Liveness of Quantitative Properties and Automata. Logical Methods in Computer Science e.V, 2025.
Erfolgreich in die Zwischenablage kopiert
Kopieren in die Zwischenablage fehlgeschlagen
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.