@InProceedings{SCI:Mel2006a,
  author =    "I. Melatti and R. Palmer and G. Sawaya and Y. Yang
              and R.M. Kirby and G. Gopalakrishnan",
  title =     "Parallel and Distributed Model Checking in Eddy",
  booktitle = "Model Checking Software: Proceedings of the 13th
              International SPIN Workshop ({SPIN} 2006)",
  volume =    "3925/2006",
  pages =     "108--125",
  year =      "2006",
  location =  "Austria",
  url =       "http://www.sci.utah.edu/publications/melatti06/melatti_SPIN06.pdf",
}