Author:
Bacci Giorgio,Bacci Giovanni,Larsen Kim G.,Mardare Radu
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press (2008)
2. Lecture Notes in Computer Science;X. Cai,2009
3. Chatterjee, K., de Alfaro, L., Majumdar, R., Raman, V.: Algorithms for Game Metrics. Logical Methods in Computer Science 6(3) (2010)
4. Lecture Notes in Computer Science;D. Chen,2012
5. Comanici, G., Panangaden, P., Precup, D.: On-the-Fly Algorithms for Bisimulation Metrics. In: Proceedings of the 9th International Conference on Quantitative Analysis of Systems, QEST, September 17-20, pp. 94–103 (2012)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献