Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers - Antonín Ku.era, Thomas A. Henzinger, Jaroslav Ne.et.il, Tomá. Vojnar, David Anto ((Lecture Notes in Computer Science))