Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. In Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio, editors, Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Volume 8054 of Lecture Notes in Computer Science, pages 355-371, Springer, 2013. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: