Author:
Brázdil Tomáš,Kučera Antonín,Novotný Petr
Publisher
Springer International Publishing
Reference32 articles.
1. Lecture Notes in Computer Science;PA Abdulla,2013
2. Lecture Notes in Computer Science;PA Abdulla,2016
3. de Alfaro, L.: Formal verification of probabilistic systems. Ph.D. thesis, Stanford University, Stanford, CA, USA (1998)
4. Lecture Notes in Computer Science;P Bouyer,2008
5. Bouyer, P., Markey, N., Randour, M., Larsen, K.G., Laursen, S.: Average-energy games. In: Proceedings of GandALF 2015, pp. 1–15 (2015)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献