ROZEHNAL, Pavel. \textit{Model checking nekonečně stavových systémů založený na inferenci jazyků}. Online. Master's thesis. Brno: Brno University of Technology. 2016. Available from: https://theses.cz/id/lc088j/.
ROZEHNAL, Pavel. <i>Model checking nekonečně stavových systémů založený na inferenci jazyků</i>. Online. Master's thesis. Brno: Brno University of Technology. 2016. Available from: https://theses.cz/id/lc088j/.
ROZEHNAL, Pavel. Model checking nekonečně stavových systémů založený na inferenci jazyků. Online. Master's thesis. Brno: Brno University of Technology. 2016. Available from: https://theses.cz/id/lc088j/.
@MastersThesis{Rozehnal2016thesis,
AUTHOR = "Rozehnal, Pavel",
TITLE = "Model checking nekonečně stavových systémů založený na inferenci jazyků [online]",
YEAR = "2016 [cit. 2024-10-03]",
TYPE = "Master's thesis",
SCHOOL = "Brno University of TechnologyBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/lc088j/",
}
@MastersThesis{Rozehnal2016thesis,
AUTHOR = {Rozehnal, Pavel},
TITLE = {Model checking nekonečně stavových systémů založený na inferenci jazyků},
YEAR = {2016},
TYPE = {Master's thesis},
INSTITUTION = {Brno University of Technology},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/lc088j/},
URL_DATE = {2024-10-03},
}
{{Citace kvalifikační práce
| příjmení = Rozehnal
| jméno = Pavel
| instituce = Brno University of Technology
| titul = Model checking nekonečně stavových systémů založený na inferenci jazyků
| url = https://theses.cz/id/lc088j/
| typ práce = Master's thesis
| vedoucí =
| rok = 2016
| počet stran =
| strany =
| citace = 2024-10-03
| poznámka =
| jazyk =
}}