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]
@inproceedings{BallariniBHPV13,
title = {Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes},
author = {Paolo Ballarini and Nathalie Bertrand and András Horváth and Marco Paolieri and Enrico Vicario},
year = {2013},
doi = {10.1007/978-3-642-40196-1_30},
url = {http://dx.doi.org/10.1007/978-3-642-40196-1_30},
researchr = {https://researchr.org/publication/BallariniBHPV13},
cites = {0},
citedby = {0},
pages = {355-371},
booktitle = {Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings},
editor = {Kaustubh R. Joshi and Markus Siegle and Mariëlle Stoelinga and Pedro R. D'Argenio},
volume = {8054},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-40195-4},
}