@mastersthesis{Lenco2015thesis,
 author = {Milan Lenčo},
 keywords = {divine},
 school = {Masarykova univerzita, Fakulta informatiky, Brno},
 supervisor = {Jiří Barnat},
 title = {{Verification of Name Service Cache Daemon with DIVINE Model Checker}},
 type = {Master's Thesis},
 url = {http://is.muni.cz/th/359883/fi_m/},
 year = {2015}
}