✦ LIBER ✦
An Epistemic Predicate CTL* for Finite Control π-Processes
✍ Scribed by Dimitar P. Guelev; Mads Dam
- Book ID
- 113602767
- Publisher
- Elsevier Science
- Year
- 2011
- Tongue
- English
- Weight
- 285 KB
- Volume
- 278
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.