Author:
Blahoudek František,Brázdil Tomáš,Novotný Petr,Ornik Melkior,Thangeda Pranay,Topcu Ufuk
Publisher
Springer International Publishing
Reference59 articles.
1. Abdulla, P.A., Atig, M.F., Hofman, P., Mayr, R., Kumar, K.N., Totzke, P.: Infinite-state energy games. In: Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 7:1–7:10 (2014)
2. Ash, R., Doléans-Dade, C.: Probability and Measure Theory. Harcourt/Academic Press, San Diego (2000)
3. Lecture Notes in Computer Science;G Bacci,2018
4. Lecture Notes in Computer Science;C Baier,2018
5. Lecture Notes in Computer Science;C Baier,2014
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献