Kybernetika 22 no. 2, 189-199, 1986

Equitran: A computer program for analysis of a nondeterministic discrete dynamic system

Petr Kůrka

Classification:

93C30