@article{BCMS05entcs,
 author = {Luboš Brim and Ivana Černá and Pavel Moravec and Jiří Šimša},
 editor = {Luboš Brim and M. Leucker},
 issue = {3},
 journal = {Electronic Notes in Theoretical Computer Science},
 month = {April},
 pages = {63--74},
 publisher = {Elsevier  Science Publishers},
 title = {{Distributed Partial Order Reduction}},
 volume = {128},
 year = {2005}
}