PETROVSKÝ, Peter. \textit{Formální analýza kryptografických protokolů}. Online. Master's thesis. Brno: Brno University of Technology. 2015. Available from: https://theses.cz/id/gq6nb5/.
PETROVSKÝ, Peter. <i>Formální analýza kryptografických protokolů</i>. Online. Master's thesis. Brno: Brno University of Technology. 2015. Available from: https://theses.cz/id/gq6nb5/.
PETROVSKÝ, Peter. Formální analýza kryptografických protokolů. Online. Master's thesis. Brno: Brno University of Technology. 2015. Available from: https://theses.cz/id/gq6nb5/.
@MastersThesis{Petrovsky2015thesis,
AUTHOR = "Petrovský, Peter",
TITLE = "Formální analýza kryptografických protokolů [online]",
YEAR = "2015 [cit. 2024-09-26]",
TYPE = "Master's thesis",
SCHOOL = "Brno University of TechnologyBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/gq6nb5/",
}
@MastersThesis{Petrovsky2015thesis,
AUTHOR = {Petrovský, Peter},
TITLE = {Formální analýza kryptografických protokolů},
YEAR = {2015},
TYPE = {Master's thesis},
INSTITUTION = {Brno University of Technology},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/gq6nb5/},
URL_DATE = {2024-09-26},
}
{{Citace kvalifikační práce
| příjmení = Petrovský
| jméno = Peter
| instituce = Brno University of Technology
| titul = Formální analýza kryptografických protokolů
| url = https://theses.cz/id/gq6nb5/
| typ práce = Master's thesis
| vedoucí =
| rok = 2015
| počet stran =
| strany =
| citace = 2024-09-26
| poznámka =
| jazyk =
}}