@InProceedings{BBR10,
  author =       "J. Barnat and L. Brim and P. Ro\v{c}kai",
  title =        "{Parallel Partial Order Reduction with Topological Sort Proviso}",
  booktitle =    "Software Engineering and Formal Methods (SEFM 2010)",
  pages =        "222--231",
  year =         "2010",
  publisher =    "IEEE Computer Society Press"
}