C | |
---|---|
[CH14] | Arnaud Carayol et Matthew Hague. Regular Strategies In Pushdown Reachability Games. In RP'14, Lecture Notes in Computer Science 8762, pages 58-71. Springer-Verlag, septembre 2014. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1