Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: G. Avni, T.A. Henzinger, D. Zikelic
Journal title: MFCS: International Symposium on Mathematical Foundations of Computer Science
Journal number: 138 (11)
Journal publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Published year: 2019
DOI identifier: 10.4230/lipics.mfcs.2019.11
Search
Associated projects
Organisations
- Not specified