TY - JOUR AU - Klíma, Ondřej AU - Polák, Libor TI - On biautomata JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2012 SP - 573 EP - 592 VL - 46 IS - 4 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita/2012014/ DO - 10.1051/ita/2012014 LA - en ID - ITA_2012__46_4_573_0 ER -