MRÁZ, Patrik. \textit{Nástoj pro abstraktní regulární stromový model checking}. Online. Bachelor's thesis. Brno: Brno University of Technology. 2017. Available from: https://theses.cz/id/3lv18r/.
MRÁZ, Patrik. <i>Nástoj pro abstraktní regulární stromový model checking</i>. Online. Bachelor's thesis. Brno: Brno University of Technology. 2017. Available from: https://theses.cz/id/3lv18r/.
MRÁZ, Patrik. Nástoj pro abstraktní regulární stromový model checking. Online. Bachelor's thesis. Brno: Brno University of Technology. 2017. Available from: 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-10-17]",
TYPE = "Bachelor's thesis",
SCHOOL = "Brno University of TechnologyBrno",
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 = {Bachelor's thesis},
INSTITUTION = {Brno University of Technology},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/3lv18r/},
URL_DATE = {2024-10-17},
}
{{Citace kvalifikační práce
| příjmení = Mráz
| jméno = Patrik
| instituce = Brno University of Technology
| titul = Nástoj pro abstraktní regulární stromový model checking
| url = https://theses.cz/id/3lv18r/
| typ práce = Bachelor's thesis
| vedoucí =
| rok = 2017
| počet stran =
| strany =
| citace = 2024-10-17
| poznámka =
| jazyk =
}}