@InProceedings{,
  author = 	 {Moatz Kamel and Stefan Leue},
  title = 	 {Validation of a Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin},
  booktitle = 	 {International SPIN Workshop},
  OPTyear = 	 {1998},
}