CHALK, Matěj. \textit{Nástroj pro abstraktní regulární model checking}. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2018. Dostupné z: https://theses.cz/id/wql0ac/.
CHALK, Matěj. <i>Nástroj pro abstraktní regulární model checking</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2018. Dostupné z: https://theses.cz/id/wql0ac/.
CHALK, Matěj. Nástroj pro abstraktní regulární model checking. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2018. Dostupné z: https://theses.cz/id/wql0ac/.
@MastersThesis{Chalk2018thesis,
AUTHOR = "Chalk, Matěj",
TITLE = "Nástroj pro abstraktní regulární model checking [online]",
YEAR = "2018 [cit. 2024-04-28]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/wql0ac/",
}
@MastersThesis{Chalk2018thesis,
AUTHOR = {Chalk, Matěj},
TITLE = {Nástroj pro abstraktní regulární model checking},
YEAR = {2018},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/wql0ac/},
URL_DATE = {2024-04-28},
}
{{Citace kvalifikační práce
| příjmení = Chalk
| jméno = Matěj
| instituce = Vysoké učení technické v Brně
| titul = Nástroj pro abstraktní regulární model checking
| url = https://theses.cz/id/wql0ac/
| typ práce = Diplomová práce
| vedoucí =
| rok = 2018
| počet stran =
| strany =
| citace = 2024-04-28
| poznámka =
| jazyk =
}}