@InProceedings{BB03,
  author =       "L. Brim and J. Barnat",
  title =        "Distribution of Explicit-State LTL Model-Checking",
  booktitle =    "8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 03)",
  series =       "Electronic Notes in Theoretical Computer Science",
  volume =       "80",
  publisher =    "Elsevier",
  editor =       "Thomas Arts and Wan Fokkink",
  year =         "2003"
}