Ing.

Martin Hruška

Ph.D.

FIT, VZ Automata@FIT – člen pracovní skupiny

+420 54114 1331
ihruska@fit.vut.cz

Odeslat VUT zprávu

Ing. Martin Hruška, Ph.D.

Ostatní

  • 2017

    HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T. Counterexample Validation and Interpolation-Based Refinement for Forest Automata. Brno: Faculty of Information Technology BUT, 2017. p. 1-23.

*) Citace se generují jednou za 24 hodin.