| Title:
             | 
Equitran: A computer program for analysis of a nondeterministic discrete dynamic system (English) | 
| Author:
             | 
Kůrka, Petr | 
| Language:
             | 
English | 
| Journal:
             | 
Kybernetika | 
| ISSN:
             | 
0023-5954 | 
| Volume:
             | 
22 | 
| Issue:
             | 
2 | 
| Year:
             | 
1986 | 
| Pages:
             | 
189-199 | 
| . | 
| Category:
             | 
math | 
| . | 
| MSC:
             | 
93C30 | 
| . | 
| Date available:
             | 
2009-09-24T17:52:46Z | 
| Last updated:
             | 
2012-06-05 | 
| Stable URL:
             | 
http://hdl.handle.net/10338.dmlcz/125018 | 
| . | 
| Reference:
             | 
[1] A. V. Aho J. E. Hopcroft, J. D. Ullman: The Design and Analysis of Computer Algorithms.Addison-Wesley, Massachusetts, 1976. MR 0413592 | 
| Reference:
             | 
[2] A. T. Berztiss: Data Structures - Theory and Practice.Academic Press, New York 1975. Zbl 0317.68003, MR 0356558 | 
| Reference:
             | 
[3] P. Kůrka: Ergodic languages.Theoret. Comput. Sci. 21 (1982), 351-355. MR 0680922 | 
| Reference:
             | 
[4] A. Lindenmayer, G. Rozenberg (eds.): Automata, Languages, Development.North Holland, Amsterdam 1976. Zbl 0346.92001, MR 0451874 | 
| Reference:
             | 
[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. Zbl 0413.92003, MR 0569691 | 
| Reference:
             | 
[6] R. Thomas: Logical description, analysis and synthesis of biological and other networks comprising feedback loops.Adv. Chem. Phys. 55 (1983), 247-282. | 
| . |