%0 Journal Article %1 journals/sttt/KamelL00 %A Kamel, Moataz %A Leue, Stefan %D 2000 %J STTT %K dblp %N 4 %P 394-409 %T Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. %U http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#KamelL00 %V 2

@article{journals/sttt/KamelL00, added-at = {2011-06-03T00:00:00.000+0200}, author = {Kamel, Moataz and Leue, Stefan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2309c40282760a5b9fd106dca142a7549/dblp}, ee = {http://dx.doi.org/10.1007/s100090050045}, interhash = {67b1f46099b559817f14a2d659cd9732}, intrahash = {309c40282760a5b9fd106dca142a7549}, journal = {STTT}, keywords = {dblp}, number = 4, pages = {394-409}, timestamp = {2016-02-02T09:11:27.000+0100}, title = {Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt2.html#KamelL00}, volume = 2, year = 2000 }