HOLÍK, Lukáš. \textit{Simulations and Antichains for Efficient Handling of Finite Automata}. Online. Dizertačná práca. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/hx5or5/.
HOLÍK, Lukáš. <i>Simulations and Antichains for Efficient Handling of Finite Automata</i>. Online. Dizertačná práca. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/hx5or5/.
HOLÍK, Lukáš. Simulations and Antichains for Efficient Handling of Finite Automata. Online. Dizertačná práca. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/hx5or5/.
@PhdThesis{Holik2016thesis,
AUTHOR = "Holík, Lukáš",
TITLE = "Simulations and Antichains for Efficient Handling of Finite Automata [online]",
YEAR = "2016 [cit. 2024-07-18]",
TYPE = "Dizertačná práca",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/hx5or5/",
}
@PhdThesis{Holik2016thesis,
AUTHOR = {Holík, Lukáš},
TITLE = {Simulations and Antichains for Efficient Handling of Finite Automata},
YEAR = {2016},
TYPE = {Dizertačná práca},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/hx5or5/},
URL_DATE = {2024-07-18},
}
{{Citace kvalifikační práce
| příjmení = Holík
| jméno = Lukáš
| instituce = Vysoké učení technické v Brně
| titul = Simulations and Antichains for Efficient Handling of Finite Automata
| url = https://theses.cz/id/hx5or5/
| typ práce = Dizertačná práca
| vedoucí =
| rok = 2016
| počet stran =
| strany =
| citace = 2024-07-18
| poznámka =
| jazyk =
}}