Browse by ISBN
Jump to: Book Section
Number of items: 1.
Book Section
Cîrstea, Corina and Kupke, Clemens; Klin, Bartek and Pimentel, Elaine, eds. (2023) Measure-theoretic semantics for quantitative parity automata. In: 31st EACSL Annual Conference on Computer Science Logic. Leibniz International Proceedings in Informatics . Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Saarbrücken/Wadern, 14:1-14:20. ISBN 9783959772648