FIEDOR, Jan. \textit{Praktické metody automatizované verifikace paralelních programů}. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/6ugih7/.
FIEDOR, Jan. <i>Praktické metody automatizované verifikace paralelních programů</i>. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/6ugih7/.
FIEDOR, Jan. Praktické metody automatizované verifikace paralelních programů. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/6ugih7/.
@PhdThesis{Fiedor2020thesis,
AUTHOR = "Fiedor, Jan",
TITLE = "Praktické metody automatizované verifikace paralelních programů [online]",
YEAR = "2020 [cit. 2024-10-02]",
TYPE = "Disertační práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/6ugih7/",
}
@PhdThesis{Fiedor2020thesis,
AUTHOR = {Fiedor, Jan},
TITLE = {Praktické metody automatizované verifikace paralelních programů},
YEAR = {2020},
TYPE = {Disertační práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/6ugih7/},
URL_DATE = {2024-10-02},
}
{{Citace kvalifikační práce
| příjmení = Fiedor
| jméno = Jan
| instituce = Vysoké učení technické v Brně
| titul = Praktické metody automatizované verifikace paralelních programů
| url = https://theses.cz/id/6ugih7/
| typ práce = Disertační práce
| vedoucí =
| rok = 2020
| počet stran =
| strany =
| citace = 2024-10-02
| poznámka =
| jazyk =
}}