SLEZÁKOVÁ, Alexandra. \textit{Převod LTL formulí s omezenými operátory do automatů s čítači}. Online. Bakalárska práca. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/ydg1ql/.
SLEZÁKOVÁ, Alexandra. <i>Převod LTL formulí s omezenými operátory do automatů s čítači</i>. Online. Bakalárska práca. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/ydg1ql/.
SLEZÁKOVÁ, Alexandra. Převod LTL formulí s omezenými operátory do automatů s čítači. Online. Bakalárska práca. Brno: Vysoké učení technické v Brně. 2020. Dostupné z: https://theses.cz/id/ydg1ql/.
@misc{Slezakova2020thesis,
AUTHOR = "Slezáková, Alexandra",
TITLE = "Převod LTL formulí s omezenými operátory do automatů s čítači [online]",
YEAR = "2020 [cit. 2024-08-23]",
TYPE = "Bakalárska práca",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/ydg1ql/",
}
@misc{Slezakova2020thesis,
AUTHOR = {Slezáková, Alexandra},
TITLE = {Převod LTL formulí s omezenými operátory do automatů s čítači},
YEAR = {2020},
TYPE = {Bakalárska práca},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/ydg1ql/},
URL_DATE = {2024-08-23},
}
{{Citace kvalifikační práce
| příjmení = Slezáková
| jméno = Alexandra
| instituce = Vysoké učení technické v Brně
| titul = Převod LTL formulí s omezenými operátory do automatů s čítači
| url = https://theses.cz/id/ydg1ql/
| typ práce = Bakalárska práca
| vedoucí =
| rok = 2020
| počet stran =
| strany =
| citace = 2024-08-23
| poznámka =
| jazyk =
}}