@InProceedings{pdmc2006-post,
  author =       {L. Brim},
  title =        {{Distributed Verification: : Exploring the Power of Raw Computing Power}},
  booktitle =    {Formal Methods: Applications and Technology, 11th
  International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006. Bonn, Germany, August 2006, Revisited Selected Papers},
  pages =        {23--34},
  year =         {2007},
  editor =    {L. Brim and B. Houverkort and M. Leucker and J. van de Pol},
  volume =    {4346},
  series =       {LNCS},
  publisher = {Springer}
}