✦ LIBER ✦
Multiset rewriting for the verification of depth-bounded processes with name binding
✍ Scribed by Fernando Rosa-Velardo; María Martos-Salgado
- Book ID
- 113642046
- Publisher
- Elsevier Science
- Year
- 2012
- Tongue
- English
- Weight
- 443 KB
- Volume
- 215
- Category
- Article
- ISSN
- 0890-5401
No coin nor oath required. For personal study only.