Author:
Forejt Vojtěch,Kwiatkowska Marta,Norman Gethin,Parker David
Publisher
Springer Berlin Heidelberg
Reference93 articles.
1. de Alfaro, L.: Formal Verification of Probabilistic Systems. Ph.D. thesis, Stanford University (1997)
2. ENTCS;L. Alfaro de,1998
3. Aljazzar, H., Leue, S.: Generation of counterexamples for model checking of Markov decision processes. In: Proc. 6th Int. Conf. Quantitative Evaluation of Systems (QEST 2009), pp. 197–206. IEEE CS Press, Los Alamitos (2009)
4. Lecture Notes in Computer Science;M. Andrés,2009
5. Aspnes, J., Herlihy, M.: Fast randomized consensus using shared memory. Journal of Algorithms 15(1), 441–460 (1990)
Cited by
204 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献