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: Colcombet, Thomas; Worrell, James; Ouaknine, Joel; Semukhin, Pavel
Journal title: "46th International Colloquium on Automata, Languages, and Programming (ICALP 2019), Jul 2019, Patras, Greece. ⟨10.4230/LIPIcs.ICALP.2019.44⟩"
Journal number: 23
Journal publisher: LIPICS
Published year: 2019
DOI identifier: 10.4230/LIPIcs.ICALP.2019.44
Search
Organisations
- Not specified