C | |
---|---|
[CHP11] | Krishnendu Chatterjee, Thomas A. Henzinger, and Vinayak S. Prabhu. Timed Parity Games: Complexity and Robustness. Logical Methods in Computer Science 7(4). December 2011. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1
C | |
---|---|
[CHP11] | Krishnendu Chatterjee, Thomas A. Henzinger, and Vinayak S. Prabhu. Timed Parity Games: Complexity and Robustness. Logical Methods in Computer Science 7(4). December 2011. |