✦ LIBER ✦
A Kleene theorem and model checking algorithms for existentially bounded communicating automata
✍ Scribed by Blaise Genest; Dietrich Kuske; Anca Muscholl
- Book ID
- 113641624
- Publisher
- Elsevier Science
- Year
- 2006
- Tongue
- English
- Weight
- 370 KB
- Volume
- 204
- Category
- Article
- ISSN
- 0890-5401
No coin nor oath required. For personal study only.