MATYÁŠ, Jiří. \textit{Překladač jazyka VHDL pro potřeby formální verifikace}. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/udweu5/.
MATYÁŠ, Jiří. <i>Překladač jazyka VHDL pro potřeby formální verifikace</i>. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/udweu5/.
MATYÁŠ, Jiří. Překladač jazyka VHDL pro potřeby formální verifikace. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/udweu5/.
@misc{Matyas2016thesis,
AUTHOR = "Matyáš, Jiří",
TITLE = "Překladač jazyka VHDL pro potřeby formální verifikace [online]",
YEAR = "2016 [cit. 2024-10-05]",
TYPE = "Bakalářská práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/udweu5/",
}
@misc{Matyas2016thesis,
AUTHOR = {Matyáš, Jiří},
TITLE = {Překladač jazyka VHDL pro potřeby formální verifikace},
YEAR = {2016},
TYPE = {Bakalářská práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/udweu5/},
URL_DATE = {2024-10-05},
}
{{Citace kvalifikační práce
| příjmení = Matyáš
| jméno = Jiří
| instituce = Vysoké učení technické v Brně
| titul = Překladač jazyka VHDL pro potřeby formální verifikace
| url = https://theses.cz/id/udweu5/
| typ práce = Bakalářská práce
| vedoucí =
| rok = 2016
| počet stran =
| strany =
| citace = 2024-10-05
| poznámka =
| jazyk =
}}