Linker, S. &
Hilscher, M.,
2013,
Theoretical Aspects of Computing – ICTAC 2013: Proceedings of the 10th International Colloquium on Theoretical Aspects of Computing -- ICTAC 2013. Liu, Z., Woodcock, J. & Zhu, H. (eds.). Berlin:
Springer,
p. 231-248 18 p. (Lecture Notes in Computer Science; vol. 8049).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review