✦ LIBER ✦
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers
✍ Scribed by A.V. Sreejith
- Book ID
- 113602765
- Publisher
- Elsevier Science
- Year
- 2011
- Tongue
- English
- Weight
- 268 KB
- Volume
- 278
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.