✦ LIBER ✦
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
✍ Scribed by Moataz Kamel; Stefan Leue
- Publisher
- Springer
- Year
- 2000
- Tongue
- English
- Weight
- 281 KB
- Volume
- 2
- Category
- Article
- ISSN
- 1433-2779
No coin nor oath required. For personal study only.