Nástoj pro abstraktní regulární stromový model checking – Patrik Mráz

MRÁZ, Patrik. <i>Nástoj pro abstraktní regulární stromový model checking</i>. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2017. Dostupné z: https://theses.cz/id/3lv18r/.

MRÁZ, Patrik. Nástoj pro abstraktní regulární stromový model checking. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2017. Dostupné z: https://theses.cz/id/3lv18r/.

@misc{Mraz2017thesis,
AUTHOR = "Mráz, Patrik",
TITLE = "Nástoj pro abstraktní regulární stromový model checking [online]",
YEAR = "2017 [cit. 2024-11-15]",
TYPE = "Bakalářská práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/3lv18r/",
}

@misc{Mraz2017thesis,
AUTHOR = {Mráz, Patrik},
TITLE = {Nástoj pro abstraktní regulární stromový model checking},
YEAR = {2017},
TYPE = {Bakalářská práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/3lv18r/},
URL_DATE = {2024-11-15},
}

{{Citace kvalifikační práce
 | příjmení = Mráz
 | jméno = Patrik
 | instituce = Vysoké učení technické v Brně
 | titul = Nástoj pro abstraktní regulární stromový model checking
 | url = https://theses.cz/id/3lv18r/
 | typ práce = Bakalářská práce
 | vedoucí = 
 | rok = 2017
 | počet stran =
 | strany =
 | citace = 2024-11-15
 | poznámka =
 | jazyk = 
}}