A | |
---|---|
[ALM03] | Rajeev Alur,
Salvatore La Torre, and
Parthasarathy Madhusudan.
Playing Games with Boxes and Diamonds.
In CONCUR'03,
Lecture Notes in Computer Science 2761, pages 127-141. Springer-Verlag, August 2003.
|
Search
Displayed 1 resultList of authors
- 1
- 1
- 1