✦ LIBER ✦
Practical CTL*model checking: Should SPIN be extended?
✍ Scribed by Willem Visser; Howard Barringer
- Publisher
- Springer
- Year
- 2000
- Tongue
- English
- Weight
- 333 KB
- Volume
- 2
- Category
- Article
- ISSN
- 1433-2779
No coin nor oath required. For personal study only.