@article{106734, author = {Jana Kr\v s\v n\'akov\'a}, title = {Selfgenerating sequences and different types of computational devices [Abstract of thesis]}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {030}, year = {1989}, pages = {201-201}, zbl = {0682.68076}, language = {en}, url = {http://dml.mathdoc.fr/item/106734} }
Kršňáková, Jana. Selfgenerating sequences and different types of computational devices [Abstract of thesis]. Commentationes Mathematicae Universitatis Carolinae, Tome 030 (1989) p. 201. http://gdmltest.u-ga.fr/item/106734/
Decidability questions for fairness in Petri nets, Proc. STACS'87, LNCS 247 Springer (1987). (1987) | MR 0900469 | Zbl 0629.68063
A taxonomy of fairness and temporal logic problems for Petri nets, Proc. MFCS'88, LNCS 324 Springer (1988). (1988) | MR 1025820 | Zbl 0655.68072