Author:
Budde Carlos E.,D’Argenio Pedro R.,Sánchez Terraf Pedro,Wolovick Nicolás
Publisher
Springer Berlin Heidelberg
Reference48 articles.
1. Ash, R., Doléans-Dade, C.: Probability & Measure Theory. Academic Press (2000)
2. Baier, C., Katoen, J.: Principles of Model Checking. The MIT Press (2008)
3. Bohnenkamp, H., D’Argenio, P., Hermanns, H., Katoen, J.P.: MoDeST: A compositional modeling formalism for real-time and stochastic systems. IEEE Trans. Softw. Eng. 32(10), 812–830 (2006)
4. Bouchard-Côté, A., Ferns, N., Panangaden, P., Precup, D.: An approximation algorithm for labelled markov processes: towards realistic approximation. In: Proc. of QEST 2005, pp. 54–62. IEEE Computer Society (2005)
5. Bravetti, M.: Specification and Analysis of Stochastic Real-Time Systems. Ph.D. thesis, Università di Bologna, Padova, Venezia (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献