In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016 Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 21:1-21:14. ISSN 1868-8969
In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016 Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 7:1-7:11. ISSN 1868-8969