@InProceedings{szymansky,
  author =	 {Boleslaw K. Szymanski and Jos\'{e} M. Vidal},
  title =	 {Automatic Verification of a Class of Symmetric
                  Parallel Programs},
  pages =	 {571--578},
  ISBN =	 {0-444-81989-4},
  editor =	 {Bjorn Pehrson and Imre Simon},
  booktitle =	 {Proceedings of the {IFIP} 13th World Computer
                  Congress. Volume 1 : Technology and Foundations},
  month =	 "28 " # aug # "--1 " # sep,
  publisher =	 {Elsevier Science Publishers},
  address =	 {Amsterdam, The Netherlands},
  year =	 1994,
  url = 	 {http://jmvidal.cse.sc.edu/papers/verif.ps},
  googleid = 	 {eBsxiAozCrAJ:scholar.google.com/},
  keywords = 	 {distributed algorithms},
  cluster = 	 {12685007420770032504},
}