Ing.

Lenka Holíková

Ph.D.

FIT, RG VERIFIT – Member

+420 54114 1178
ituronova@fit.vut.cz

Send BUT message

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

Other

  • 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.

*) Citations are generated once every 24 hours.