Garbe, F. &
Mycroft, R.,
16 Feb 2016,
33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016). Ollinger, N. & Vollmer, H. (eds.). Dagstuhl, Germany:
Schloss Dagstuhl,
Vol. 47.
p. 1-13 13 p. 38. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 47).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution