Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;S Arora,2018
2. Arora, S., Rao, M.V.P.: Probabilistic model checking of incomplete models. CoRR (2017).
http://arxiv.org/abs/1706.05082
3. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-checking algorithms for continuous-time Markov chains. IEEE Trans. Softw. Eng. 29(6), 524–541 (2003).
https://doi.org/10.1109/TSE.2003.1205180
4. Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press (2008)
5. Lecture Notes in Computer Science;M Benedikt,2013