Ing.

Martin Hruška

Ph.D.

člen pracovní skupiny

+420 54114 1331
ihruska@fit.vut.cz
A220 Pracovna
140515/osobní číslo VUT

Ostatní výsledky

2017

Counterexample Validation and Interpolation-Based Refinement for Forest Automata, zpráva odborná, 2017
Autoři: HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; VOJNAR, T.