✦ LIBER ✦
UMM: an operational memory model specification framework with integrated model checking capability
✍ Scribed by Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom
- Publisher
- John Wiley and Sons
- Year
- 2005
- Tongue
- English
- Weight
- 235 KB
- Volume
- 17
- Category
- Article
- ISSN
- 1532-0626
- DOI
- 10.1002/cpe.837
No coin nor oath required. For personal study only.