Mgr.

Juraj Síč

Ph.D. student

+420 54114 1331
sicjuraj@fit.vut.cz
A220 Office
175126/BUT personal ID

Other Results

2018

Simulation Algorithms for Symbolic Automata (Technical Report), report, 2018
Authors: HOLÍK, L.; LENGÁL, O.; SÍČ, J.; VOJNAR, T.; VEANES, M.