Equitran: A computer program for analysis of a nondeterministic discrete dynamic system
Kybernetika (1986)
- Volume: 22, Issue: 2, page 189-199
- ISSN: 0023-5954
Access Full Article
topHow to cite
topKůrka, Petr. "Equitran: A computer program for analysis of a nondeterministic discrete dynamic system." Kybernetika 22.2 (1986): 189-199. <http://eudml.org/doc/28173>.
@article{Kůrka1986,
author = {Kůrka, Petr},
journal = {Kybernetika},
language = {eng},
number = {2},
pages = {189-199},
publisher = {Institute of Information Theory and Automation AS CR},
title = {Equitran: A computer program for analysis of a nondeterministic discrete dynamic system},
url = {http://eudml.org/doc/28173},
volume = {22},
year = {1986},
}
TY - JOUR
AU - Kůrka, Petr
TI - Equitran: A computer program for analysis of a nondeterministic discrete dynamic system
JO - Kybernetika
PY - 1986
PB - Institute of Information Theory and Automation AS CR
VL - 22
IS - 2
SP - 189
EP - 199
LA - eng
UR - http://eudml.org/doc/28173
ER -
References
top- A. V. Aho J. E. Hopcroft, J. D. Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, Massachusetts, 1976. (1976) MR0413592
- A. T. Berztiss, Data Structures - Theory and Practice, Academic Press, New York 1975. (1975) Zbl0317.68003MR0356558
- P. Kůrka, Ergodic languages, Theoret. Comput. Sci. 21 (1982), 351-355. (1982) MR0680922
- A. Lindenmayer, G. Rozenberg (eds.), Automata, Languages, Development, North Holland, Amsterdam 1976. (1976) Zbl0346.92001MR0451874
- R. Thomas (ed.), Kinetic Logic, a Boolean Approach to the Analysis of Complex Regulatory Systems, (Lecture Notes in Biomathematics 29.) Springer-Verlag, Berlin 1979. (1979) Zbl0413.92003MR0569691
- R. Thomas, Logical description, analysis and synthesis of biological and other networks comprising feedback loops, Adv. Chem. Phys. 55 (1983), 247-282. (1983)
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.