Revisiting Weak Simulation for Substochastic Markov Chains
| Title | Revisiting Weak Simulation for Substochastic Markov Chains |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Jansen, DN, Song, L, Zhang, L |
| Editor | Joshi, KR, Siegle, M, Stoelinga, M, D'Argenio, PR |
| Conference Name | Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings |
| Publisher | Springer |
| ISBN Number | 978-3-642-40195-4 |
Work Package:
WP1
