HOLÍK, Lukáš. \textit{Simulations and Antichains for Efficient Handling of Finite Automata}. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/35psov/.
HOLÍK, Lukáš. <i>Simulations and Antichains for Efficient Handling of Finite Automata</i>. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/35psov/.
HOLÍK, Lukáš. Simulations and Antichains for Efficient Handling of Finite Automata. Online. Disertační práce. Brno: Vysoké učení technické v Brně. 2016. Dostupné z: https://theses.cz/id/35psov/.
@PhdThesis{Holik2016thesis,
AUTHOR = "Holík, Lukáš",
TITLE = "Simulations and Antichains for Efficient Handling of Finite Automata [online]",
YEAR = "2016 [cit. 2024-10-20]",
TYPE = "Disertační práce",
SCHOOL = "Vysoké učení technické v BrněBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/35psov/",
}
@PhdThesis{Holik2016thesis,
AUTHOR = {Holík, Lukáš},
TITLE = {Simulations and Antichains for Efficient Handling of Finite Automata},
YEAR = {2016},
TYPE = {Disertační práce},
INSTITUTION = {Vysoké učení technické v Brně},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/35psov/},
URL_DATE = {2024-10-20},
}
{{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/35psov/
| typ práce = Disertační práce
| vedoucí =
| rok = 2016
| počet stran =
| strany =
| citace = 2024-10-20
| poznámka =
| jazyk =
}}