Publisher
Springer International Publishing
Reference35 articles.
1. Lecture Notes in Computer Science;G. Bacci,2013
2. Baier, C., Engelen, B., Majster-Cederbaum, M.E.: Deciding Bisimilarity and Similarity for Probabilistic Processes. J. Comput. Syst. Sci. 60(1), 187–231 (2000)
3. Bellman, R.: Dynamic Programming. Princeton University Press (1957)
4. Lecture Notes in Computer Science;S. Cattani,2002
5. Chatterjee, K., de Alfaro, L., Majumdar, R., Raman, V.: Algorithms for game metrics (full version). Logical Methods in Computer Science 6(3) (2010)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献