Author:
Kuntz Matthias,Haverkort Boudewijn R.
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Marsan, M.A., Balbo, G., Conte, G.: A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems 2(2), 93–122 (1984)
2. Aziz, A., Shiple, T., Singhal, V., Brayton, R., Sangiovanni-Vincentelli, A.: Formula-Dependent Equivalence for Compositional CTL Model Checking. Form. Methods Syst. Des. 21(2), 193–224 (2002)
3. Baier, C., Cloth, L., Haverkort, B.R., Kuntz, M., Siegle, M.: Model Checking Markov Chains with Actions and State Labels. IEEE Transactions on Software Engineering 33(4), 209–224 (2007)
4. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. 29(7), 1–18 (2003)
5. Bell, A.: Distributed Evaluation of Stochastic Petri Nets. PhD thesis, RWTH Aachen, Fakultät für Mathematik, Informatik und Naturwissenschaften (2003)