ALEXAJ, Ondrej. \textit{HyperLTL Model Checking}. Online. Bachelor's thesis. Brno: Brno University of Technology. 2024. Available from: https://theses.cz/id/7u1162/.
ALEXAJ, Ondrej. <i>HyperLTL Model Checking</i>. Online. Bachelor's thesis. Brno: Brno University of Technology. 2024. Available from: https://theses.cz/id/7u1162/.
ALEXAJ, Ondrej. HyperLTL Model Checking. Online. Bachelor's thesis. Brno: Brno University of Technology. 2024. Available from: https://theses.cz/id/7u1162/.
@misc{Alexaj2024thesis,
AUTHOR = "Alexaj, Ondrej",
TITLE = "HyperLTL Model Checking [online]",
YEAR = "2024 [cit. 2024-10-12]",
TYPE = "Bachelor's thesis",
SCHOOL = "Brno University of TechnologyBrno",
NOTE = "SUPERVISOR: ",
URL = "https://theses.cz/id/7u1162/",
}
@misc{Alexaj2024thesis,
AUTHOR = {Alexaj, Ondrej},
TITLE = {HyperLTL Model Checking},
YEAR = {2024},
TYPE = {Bachelor's thesis},
INSTITUTION = {Brno University of Technology},
LOCATION = {Brno},
SUPERVISOR = {},
URL = {https://theses.cz/id/7u1162/},
URL_DATE = {2024-10-12},
}
{{Citace kvalifikační práce
| příjmení = Alexaj
| jméno = Ondrej
| instituce = Brno University of Technology
| titul = HyperLTL Model Checking
| url = https://theses.cz/id/7u1162/
| typ práce = Bachelor's thesis
| vedoucí =
| rok = 2024
| počet stran =
| strany =
| citace = 2024-10-12
| poznámka =
| jazyk =
}}