@inproceedings{Bar02,
 address = {Milovy, Czech Republic},
 author = {Jiří Barnat},
 booktitle = {SOFSEM 2002 Student Research Forum},
 editor = {Mária Bieliková},
 month = {November},
 pages = {9--14},
 title = {{H}ow to {D}istribute {LTL} {M}odel-checking {U}sing {D}ecomposition of {N}egative {C}laim {A}utomaton},
 year = {2002}
}