SEČKAŘOVÁ, Petra. \textit{Ověřování temporálních vlastností konečných běhů programů}. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2019. Dostupné z: https://theses.cz/id/7h2his/.
SEČKAŘOVÁ, Petra. <i>Ověřování temporálních vlastností konečných běhů programů</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2019. Dostupné z: https://theses.cz/id/7h2his/.
SEČKAŘOVÁ, Petra. Ověřování temporálních vlastností konečných běhů programů. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2019. Dostupné z: https://theses.cz/id/7h2his/.
@MastersThesis{Seckarova2019thesis,
AUTHOR = "Sečkařová, Petra",
TITLE = "Ověřování temporálních vlastností konečných běhů programů [online]",
YEAR = "2019 [cit. 2024-09-10]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/7h2his/",
}
@MastersThesis{Seckarova2019thesis,
AUTHOR = {Sečkařová, Petra},
TITLE = {Ověřování temporálních vlastností konečných běhů programů},
YEAR = {2019},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/7h2his/},
URL_DATE = {2024-09-10},
}
{{Citace kvalifikační práce
| příjmení = Sečkařová
| jméno = Petra
| instituce = Vysoké učení technické v Brně
| titul = Ověřování temporálních vlastností konečných běhů programů
| url = https://theses.cz/id/7h2his/
| typ práce = Diplomová práce
| vedoucí =
| rok = 2019
| počet stran =
| strany =
| citace = 2024-09-10
| poznámka =
| jazyk =
}}