Mathematical and Engineering Methods in Computer Science 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers - Ku era, Antonn̕.; Henzinger, Thomas A.; NeaetYil, Jaroslav.; Vojnar, Tomà.; Antoa, David. (Springer Berlin Heidelberg : Imprint: Springer, 2013)