Author:
D’Argenio Pedro,Legay Axel,Sedwards Sean,Traonouez Louis-Marie
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference37 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Bellman, R.: Dynamic Programming. Princeton University Press, Princeton (1957)
3. Bianco, A., De Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Foundations of Software Technology and Theoretical Computer Science, pp. 499–513. Springer, New York (1995)
4. Bogdoll, J., Fioriti, L.M.F., Hartmanns, A., Hermanns, H.: Partial order methods for statistical model checking and simulation. In: Formal Techniques for Distributed Systems, pp. 59–74. Springer, New York (2011)
5. Boyer, B., Corre, K., Legay, A., Sedwards, S.: PLASMA-lab: a flexible, distributable statistical model checking library. In: Joshi, K., Siegle, M., Stoelinga, M., D’Argenio, P.R. (eds.) Quantitative Evaluation of Systems. LNCS, vol. 8054, pp. 160–164. Springer, New York (2013)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献