@misc{Still2018thesis,
 author = {Štill, Vladimír},
 school = {Masaryk University, Faculty of Informatics, Brno},
 title = {{Memory-Model-Aware Analysis of Parallel Programs}},
 type = {Advanced Master's thesis},
 url = {https://is.muni.cz/th/uuunu/},
 year = {2018}
}