@phdthesis{Bar04,
 author = {Jiří Barnat},
 school = {{M}asaryk {U}niversity {B}rno, {F}aculty of {I}nformatics},
 title = {{D}istributed {M}emory {LTL} {M}odel {C}hecking},
 year = {2004}
}