
Concise Introduction to Alternating-Time Temporal Logics
- Alaotsikko
- A Guide for Understanding the Model-Checking Problem
- Kirjailija
- Stéphane Demri
- ISBN
- 9783032118844
- Kieli
- englanti
- Paino
- 446 grammaa
- Julkaisupäivä
- 28.4.2026
- Kustantaja
- Springer Nature Switzerland AG
- Sivumäärä
- 202