MRÁZ, P. Nástoj pro abstraktní regulární stromový model checking [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.
eVSKP id 106147