PTÁČEK, Michal. \textit{Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů}. Online. Master's thesis. Brno: Brno University of Technology. 2016. Available from: https://theses.cz/id/lh79b1/.
PTÁČEK, Michal. <i>Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů</i>. Online. Master's thesis. Brno: Brno University of Technology. 2016. Available from: https://theses.cz/id/lh79b1/.
PTÁČEK, Michal. Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů. Online. Master's thesis. Brno: Brno University of Technology. 2016. Available from: https://theses.cz/id/lh79b1/.
@MastersThesis{Ptacek2016thesis,
AUTHOR = "Ptáček, Michal",
TITLE = "Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů [online]",
YEAR = "2016 [cit. 2024-08-20]",
TYPE = "Master's thesis",
SCHOOL = "Brno University of TechnologyBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/lh79b1/",
}
@MastersThesis{Ptacek2016thesis,
AUTHOR = {Ptáček, Michal},
TITLE = {Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů},
YEAR = {2016},
TYPE = {Master's thesis},
INSTITUTION = {Brno University of Technology},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/lh79b1/},
URL_DATE = {2024-08-20},
}
{{Citace kvalifikační práce
| příjmení = Ptáček
| jméno = Michal
| instituce = Brno University of Technology
| titul = Specifikační jazyky a nástroje pro analýzu a verifikaci bezpečnostních protokolů
| url = https://theses.cz/id/lh79b1/
| typ práce = Master's thesis
| vedoucí =
| rok = 2016
| počet stran =
| strany =
| citace = 2024-08-20
| poznámka =
| jazyk =
}}