Ing.

Lenka Holíková

Ph.D.

FIT, VZ VERIFIT – členka

+420 54114 1178
ituronova@fit.vut.cz

Odeslat VUT zprávu

Ing. Lenka Holíková, Ph.D.

Ostatní

  • 2019

    HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. p. 1-19.

*) Citace se generují jednou za 24 hodin.