A. Mahadev, D. Krupke, J. Reinhardt, S. Fekete, und A. Becker. IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, TX, USA, August 21-25, 2016, Seite 1231--1236. IEEE, (2016)
A. Becker, S. Fekete, P. Keldenich, D. Krupke, C. Rieck, C. Scheffer, und A. Schmidt. 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, Volume 92 von LIPIcs, Seite 11:1--11:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)