OLŠÁK, O. Verifikace za běhu systémů s vlastnostmi v MTL logice [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2021.
eVSKP id 137625