Author:
Abdulla Parosh Aziz,Mayr Richard,Sangnier Arnaud,Sproston Jeremy
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;P.A. Abdulla,2003
2. Abdulla, P.A., Čerāns, K., Jonsson, B., Tsay, Y.: General decidability theorems for infinite-state systems. In: LICS 1996, pp. 313–321. IEEE (1996)
3. Abdulla, P.A., Mayr, R., Sangnier, A., Sproston, J.: Solving parity games on integer vectors. Technical Report EDI-INF-RR-1417, Univ. of Edinburgh (2013)
4. Lecture Notes in Computer Science;T. Brázdil,2010
5. Chatterjee, K., Doyen, L.: Energy parity games. TCS 458, 49–60 (2012)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献