MOLEK, Martin. \textit{Generování protipříkladů při analýze Markovových modelů}. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2018. Dostupné z: https://theses.cz/id/48bza5/.
MOLEK, Martin. <i>Generování protipříkladů při analýze Markovových modelů</i>. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2018. Dostupné z: https://theses.cz/id/48bza5/.
MOLEK, Martin. Generování protipříkladů při analýze Markovových modelů. Online. Bakalářská práce. Brno: Vysoké učení technické v Brně. 2018. Dostupné z: https://theses.cz/id/48bza5/.
@misc{Molek2018thesis,
AUTHOR = "Molek, Martin",
TITLE = "Generování protipříkladů při analýze Markovových modelů [online]",
YEAR = "2018 [cit. 2024-10-09]",
TYPE = "Bakalářská práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/48bza5/",
}
@misc{Molek2018thesis,
AUTHOR = {Molek, Martin},
TITLE = {Generování protipříkladů při analýze Markovových modelů},
YEAR = {2018},
TYPE = {Bakalářská práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/48bza5/},
URL_DATE = {2024-10-09},
}
{{Citace kvalifikační práce
| příjmení = Molek
| jméno = Martin
| instituce = Vysoké učení technické v Brně
| titul = Generování protipříkladů při analýze Markovových modelů
| url = https://theses.cz/id/48bza5/
| typ práce = Bakalářská práce
| vedoucí =
| rok = 2018
| počet stran =
| strany =
| citace = 2024-10-09
| poznámka =
| jazyk =
}}