@misc{Svorenova2010thesis,
 author = {Mária Svoreňová},
 school = {Masarykova univerzita, Fakulta informatiky, Brno},
 supervisor = {Jiří Barnat},
 title = {{Verifikace hybridních systémů}},
 type = {Bakalářská práce},
 url = {http://is.muni.cz/th/175388/fi_b/},
 year = {2010}
}