In: 11th International Symposium on Parameterized and Exact Computation, IPEC 2016 Leibniz International Proceedings in Informatics, LIPIcs (63) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 3:1-3:12. ISSN 1868-8969
In: 2013 3rd Eastern European Regional Conference on the Engineering of Computer Based Systems (ECBS-EERC), 2013-08-29 - 2013-08-30, Budapest, Magyarország.