Author:
Halava Vesa,Niskanen Reino,Potapov Igor
Publisher
Springer International Publishing
Reference13 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2003
2. Arul, A., Reichert, J.: The complexity of robot games on the integer line. In: Proceedings of QAPL 2013. EPTCS, vol. 117, pp. 132–148 (2013)
3. Bradley, G.H.: Algorithms for hermite and smith normal matrices and linear dio-phantine equations. Math. Comp., Amer. Math. Soc. 25, 897–907 (1971)
4. Lecture Notes in Computer Science;T Brázdil,2010
5. Chatterjee, K., Fijalkow, N.: Infinite-state games with finitary conditions. In: Proceedings of CSL 2013. LIPIcs, vol. 23, pp. 181–196 (2013)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献