Kybernetika
International journal of Institute of Information Theory and Automation
Journal
home
contents of journal
upcoming papers
search
by author
by title
by keyword
by MSC
instructions for authors
editorial board
distribution
contact
partners
Account
login
create account
forgotten password
Author Petr Kůrka
Articles
P. Kůrka
Equitran: A computer program for analysis of a nondeterministic discrete dynamic system
Volume 22 no. 2, 189-199, 1986
P. Hájek
,
P. Kalášek
and
P. Kůrka
On dynamic logic
Volume 16 no. 7, 1-41, 1980