Author:
Dehnert Christian,Gebler Daniel,Volpato Michele,Jansen David N.
Publisher
Springer Berlin Heidelberg
Reference50 articles.
1. Lecture Notes in Computer Science;L. Alfaro de,2007
2. Aljazzar, H., Leue, S.: Directed explicit state-space search in the generation of counterexamples for stochastic model checking. IEEE Trans. Software Eng. 36(1), 37–60 (2010)
3. Lecture Notes in Computer Science;A. Aziz,1995
4. Baier, C., Katoen, J.-P.: Principles of model checking. MIT Press, Cambridge (2008)
5. Baier, C., Katoen, J.-P., Hermanns, H., Wolf, V.: Comparative branching-time semantics for Markov chains. Information and Computation 200(2), 149–214 (2005)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献