SCHINDLER, P. Nástroj pro práci s Büchi automaty [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2013.

Posudek vedoucího

Rogalewicz, Adam

Posudek oponenta

Lengál, Ondřej

eVSKP id 79216