TY - JOUR AU - Havel, Ivan M. TI - Finite branching automata JO - Kybernetika PY - 1974 SP - EP - 302 VL - 10 IS - 4 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/KYB_1974__10_4_a0/ LA - en ID - KYB_1974__10_4_a0 ER -