✦ LIBER ✦
Demonic, angelic and unbounded probabilistic choices in sequential programs
✍ Scribed by A.K. McIver; C. Morgan
- Publisher
- Springer-Verlag
- Year
- 2001
- Tongue
- English
- Weight
- 194 KB
- Volume
- 37
- Category
- Article
- ISSN
- 0001-5903
No coin nor oath required. For personal study only.