✦ LIBER ✦
Formal verification of concurrent programs with read-write locks
✍ Scribed by Fu, Ming ;Zhang, Yu ;Li, Yong
- Book ID
- 107475644
- Publisher
- Higher Education Press and Springer
- Year
- 2010
- Tongue
- English
- Weight
- 407 KB
- Volume
- 4
- Category
- Article
- ISSN
- 1673-7350
No coin nor oath required. For personal study only.