%0 Journal Article %A Kůrka, Petr %T Equitran: A computer program for analysis of a nondeterministic discrete dynamic system %J Kybernetika %D 1986 %P 189-199 %V 22 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/KYB_1986__22_2_a6/ %G en %F KYB_1986__22_2_a6