External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Safety and Liveness of Quantitative Automata

Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç. Safety and Liveness of Quantitative Automata. In Guillermo A. Pérez 0001, Jean-François Raskin, editors, 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium. Volume 279 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [doi]

Authors

Udi Boker

This author has not been identified. Look up 'Udi Boker' in Google

Thomas A. Henzinger

This author has not been identified. Look up 'Thomas A. Henzinger' in Google

Nicolas Mazzocchi

This author has not been identified. Look up 'Nicolas Mazzocchi' in Google

N. Ege Saraç

This author has not been identified. Look up 'N. Ege Saraç' in Google
runs on