Author:
Berndt Rüdiger,Bazan Peter,Hielscher Kai-Steffen,German Reinhard
Publisher
Springer International Publishing
Reference25 articles.
1. Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains, 2nd edn. John Wiley and Sons, New York (2006)
2. Hillston, J., Ribaudo, M.: Stochastic process algebras: a new approach to performance modeling. In: Modeling and Simulation of Advanced Computer Systems, pp. 235–256, Gordon Breach (1998)
3. Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evaluation. Theoretical Computer Science 274(12), 43–87 (2002)
4. Trowitzsch, J., Jerzynek, D., Zimmermann, A.: A toolkit for performability evaluation based on stochastic UML state machines. In: VALUETOOLS 2007, p. 30 (2007)
5. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35 (8), 677–691 (1986)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams;Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems;2016