@inproceedings{BBR10b,
 author = {Jiří Barnat and Luboš Brim and Petr Ročkai},
 booktitle = {{Proceeding of SEFM 2010}},
 keywords = {divine},
 publisher = {IEEE Computer Society Press},
 title = {{Parallel Partial Order Reduction with Topological Sort Proviso}},
 year = {2010}
}