Avni, G., Henzinger, T. A. & Žikelić, Ð.,
Aug 2019,
44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019. Katoen, J.-P., Heggernes, P. & Rossmanith, P. (eds.).
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 11. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 138).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review