B | |
---|---|
[BJK10] | Tomáš Brázdil, Petr Jančar, and Antonín Kučera. Reachability Games on Extended Vector Addition Systems with States. In ICALP'10, Lecture Notes in Computer Science 6199, pages 478-489. Springer-Verlag, July 2010. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1