Details for the publication JansenS013.

David N. Jansen (), Lei Song, Lijun Zhang: Revisiting Weak Simulation for Substochastic Markov Chains. In 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 209-224, 2013. DOI BIB