Mgr.

Juraj Síč

Student doktorského studia

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

Ostatní výsledky

2018

Simulation Algorithms for Symbolic Automata (Technical Report), zpráva odborná, 2018
Autoři: HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M.