N | |
---|---|
[NYY92] | Anil Nerode,
Alexander Yakhnis et
Vladimir Yakhnis.
Concurrent programs as strategies in games.
In Logic from Computer Science,
Mathematical Sciences Research Institute
Publications 21, pages 405-479. Springer-Verlag, 1992.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1