A | |
---|---|
[ALM03] | Rajeev Alur,
Salvatore La Torre et
Parthasarathy Madhusudan.
Playing Games with Boxes and Diamonds.
In CONCUR'03,
Lecture Notes in Computer Science 2761, pages 127-141. Springer-Verlag, août 2003.
|
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1
- 1