@InProceedings{,
  author = 	 {Pedro Merino and J.M. Troya},
  title = 	 {Modeling and verification of the ITU-T multipoint communication service with SPIN},
  booktitle = 	 {International SPIN Workshop},
  OPTyear = 	 {1996},
}