Author: Kůrka, Petr
- : Equitran: A computer program for analysis of a nondeterministic discrete dynamic system. (English). Kybernetika, vol. 22 (1986), issue 2, pp. 189-199
- : O dynamické logice. (Czech) [On dynamic logic]. Kybernetika, vol. 16 (1980), issue 7, pp. (1),3-41
Search
Partner of
