V | |
---|---|
[Ves15] | Steen Vester. On the Complexity of Model-checking Branching and Alternating-time Temporal Logics in One-counter systems. In ATVA'15, Lecture Notes in Computer Science 9364, pages 361-377. Springer-Verlag, octobre 2015. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1