@Article{brim05entcs-pdmc,
    author = {L. Brim and I. {\v{C}}ern\'{a} and P. Moravec and J. {\v{S}}im\v{s}a},
    title = {{Distributed Partial Order Reduction}},
    series = {Electronic Notes in Theoretical Computer Science},
    volume = {128},
    issue =  {3},
    publisher = {Elsevier  Science Publishers},
    editor = {L. Brim and M. Leucker},
    year = 2005,
    pages = 	 {63--74}
}