BEDNÁŘ, Pavel. \textit{Rozhodování WS1S pomocí symbolických automatů}. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2023. Dostupné z: https://theses.cz/id/kq7t5j/.
BEDNÁŘ, Pavel. <i>Rozhodování WS1S pomocí symbolických automatů</i>. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2023. Dostupné z: https://theses.cz/id/kq7t5j/.
BEDNÁŘ, Pavel. Rozhodování WS1S pomocí symbolických automatů. Online. Diplomová práce. Brno: Vysoké učení technické v Brně. 2023. Dostupné z: https://theses.cz/id/kq7t5j/.
@MastersThesis{Bednar2023thesis,
AUTHOR = "Bednář, Pavel",
TITLE = "Rozhodování WS1S pomocí symbolických automatů [online]",
YEAR = "2023 [cit. 2024-11-09]",
TYPE = "Diplomová práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/kq7t5j/",
}
@MastersThesis{Bednar2023thesis,
AUTHOR = {Bednář, Pavel},
TITLE = {Rozhodování WS1S pomocí symbolických automatů},
YEAR = {2023},
TYPE = {Diplomová práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/kq7t5j/},
URL_DATE = {2024-11-09},
}
{{Citace kvalifikační práce
| příjmení = Bednář
| jméno = Pavel
| instituce = Vysoké učení technické v Brně
| titul = Rozhodování WS1S pomocí symbolických automatů
| url = https://theses.cz/id/kq7t5j/
| typ práce = Diplomová práce
| vedoucí =
| rok = 2023
| počet stran =
| strany =
| citace = 2024-11-09
| poznámka =
| jazyk =
}}