@phdthesis{RockaiPhD,
 author = {Petr Ročkai},
 keywords = {divine},
 school = {Masaryk University, Faculty of Informatics, Brno},
 supervisor = {Jiří Barnat},
 title = {Model Checking Software},
 type = {Ph.D. Thesis},
 url = {http://is.muni.cz/th/139761/fi_d/},
 year = {2015}
}