Author:
Legay Axel,Delahaye Benoît,Bensalem Saddek
Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. Lecture Notes in Computer Science;A. Bauer,2006
2. Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P.: Model-checking algorithms for continuous-time markov chains. IEEE Trans. Software Eng. 29(6), 524–541 (2003)
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Basu, A., Bensalem, S., Bozga, M., Caillaud, B., Delahaye, B., Legay, A.: Statistical abstraction and model-checking of large heterogeneous systems. Technical report, INRIA (2010)
5. Lecture Notes in Computer Science;D. Bustan,2004
Cited by
307 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献