Author:
Kaminski Benjamin Lucien,Katoen Joost-Pieter,Matheja Christoph,Olmedo Federico
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Arthan, R., Martin, U., Mathiesen, E.A., Oliva, P.: A general framework for sound and complete Floyd-Hoare logics. ACM Trans. Comput. Log. 11(1), 7 (2009)
2. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
3. Lecture Notes in Computer Science;R Berghammer,2004
4. Brázdil, T., Kiefer, S., Kucera, A., Vareková, I.H.: Runtime analysis of probabilistic programs with unbounded recursion. J. Comput. Syst. Sci. 81(1), 288–310 (2015)
5. Lecture Notes in Computer Science;O Celiku,2005
Cited by
72 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献