![](/img/cover-not-exists.png)
[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Infinite-state energy games
Abdulla, Parosh Aziz, Atig, Mohamed Faouzi, Hofman, Piotr, Mayr, Richard, Kumar, K. Narayan, Totzke, PatrickYear:
2014
Language:
english
DOI:
10.1145/2603088.2603100
File:
PDF, 359 KB
english, 2014