ZACHARIÁŠOVÁ, Marcela. \textit{Metody akcelerace verifikace logických obvodů}. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/fylre3/.
ZACHARIÁŠOVÁ, Marcela. <i>Metody akcelerace verifikace logických obvodů</i>. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/fylre3/.
ZACHARIÁŠOVÁ, Marcela. Metody akcelerace verifikace logických obvodů. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/fylre3/.
@PhdThesis{Zachariasova2016thesis,
AUTHOR = "Zachariášová, Marcela",
TITLE = "Metody akcelerace verifikace logických obvodů [online]",
YEAR = "2016 [cit. 2024-11-19]",
TYPE = "Disertační práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/fylre3/",
}
@PhdThesis{Zachariasova2016thesis,
AUTHOR = {Zachariášová, Marcela},
TITLE = {Metody akcelerace verifikace logických obvodů},
YEAR = {2016},
TYPE = {Disertační práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/fylre3/},
URL_DATE = {2024-11-19},
}
{{Citace kvalifikační práce
| příjmení = Zachariášová
| jméno = Marcela
| instituce = Vysoké učení technické v Brně
| titul = Metody akcelerace verifikace logických obvodů
| url = https://theses.cz/id/fylre3/
| typ práce = Disertační práce
| vedoucí =
| rok = 2016
| počet stran =
| strany =
| citace = 2024-11-19
| poznámka =
| jazyk =
}}