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