@InProceedings{BCMS05,
  author =       "L. Brim and I. \v{C}ern\'{a} and P. Moravec and J. \v{S}im\v{s}a",
  title =        "How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors",
  booktitle =    "4rd International Workshop on Parallel and Distributed Methods in verifiCation",
  year =         "2005",
  month =        "Jul."
}