KOCMAN, R. O paralelním zpracování ve formálních modelech [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .
eVSKP id 136688