Výpis publikací

2006

1. Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation

   SRBA, Jiří. Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation. LNCS, Annual Conference on Computer Science Logic (CSL'06). Netherlands: Springer-Verlag, 2006, roč. 2006, č. 4207, s. 89-103.

   Podrobněji: https://is.muni.cz/publication/702214/cs