@article{KYB_1986_22_2_a6,
author = {K\r{u}rka, Petr},
title = {Equitran: {A} computer program for analysis of a nondeterministic discrete dynamic system},
journal = {Kybernetika},
pages = {189--199},
year = {1986},
volume = {22},
number = {2},
language = {en},
url = {http://geodesic.mathdoc.fr/item/KYB_1986_22_2_a6/}
}
Kůrka, Petr. Equitran: A computer program for analysis of a nondeterministic discrete dynamic system. Kybernetika, Tome 22 (1986) no. 2, pp. 189-199. http://geodesic.mathdoc.fr/item/KYB_1986_22_2_a6/
[1] A. V. Aho J. E. Hopcroft, J. D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley, Massachusetts, 1976. | MR
[2] A. T. Berztiss: Data Structures - Theory and Practice. Academic Press, New York 1975. | MR | Zbl
[3] P. Kůrka: Ergodic languages. Theoret. Comput. Sci. 21 (1982), 351-355. | MR
[4] A. Lindenmayer, G. Rozenberg (eds.): Automata, Languages, Development. North Holland, Amsterdam 1976. | MR | Zbl
[5] R. Thomas (ed.): Kinetic Logic, a Boolean Approach to the Analysis of Complex Regulatory Systems. (Lecture Notes in Biomathematics 29.) Springer-Verlag, Berlin 1979. | MR | Zbl
[6] R. Thomas: Logical description, analysis and synthesis of biological and other networks comprising feedback loops. Adv. Chem. Phys. 55 (1983), 247-282.