@InProceedings{,
  author = 	 {Tadashi Nakatani},
  title = 	 {Verification of Group Address Registration Protocol using PROMELA and SPIN },
  booktitle = 	 {International SPIN Workshop},
  OPTyear = 	 {1997},
}