Formal Model Research Group

2020

Architektura systému, ViAn Server, Snímací uzel a ViAn GUI, report, 2020
Authors: BARTÍK, V.; KOCMAN, R.; VOLF, T.; ZENDULKA, J.

2013

On Stateless Pushdown Automata And Limited Pushdown Alphabets, other unclassified results, 2013
Authors: VRÁBEL, L.

2008

Canonical Derivations in Programmed Grammars, report, 2008
Authors: ZEMEK, P.