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