@mastersthesis{Plášil2011thesis,
 author = {Roman Plášil},
 school = {Masarykova univerzita, Fakulta informatiky, Brno},
 supervisor = {Luboš Brim},
 title = {Vysvětlování protipříkladů v nástroji DiVinE [online]},
 type = {Master's Thesis},
 url = {http://is.muni.cz/th/173458/fi_m/},
 year = {2011}
}