Songzheng Song, Lin Gui 0002, Jun Sun 0001, Yang Liu, Jin Song Dong. Improved Reachability Analysis in DTMC via Divide and Conquer. In Einar Broch Johnsen, Luigia Petre, editors, Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Volume 7940 of Lecture Notes in Computer Science, pages 162-176, Springer, 2013. [doi]
@inproceedings{Song00LD13,
title = {Improved Reachability Analysis in DTMC via Divide and Conquer},
author = {Songzheng Song and Lin Gui 0002 and Jun Sun 0001 and Yang Liu and Jin Song Dong},
year = {2013},
doi = {10.1007/978-3-642-38613-8_12},
url = {http://dx.doi.org/10.1007/978-3-642-38613-8_12},
researchr = {https://researchr.org/publication/Song00LD13},
cites = {0},
citedby = {0},
pages = {162-176},
booktitle = {Integrated Formal Methods, 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings},
editor = {Einar Broch Johnsen and Luigia Petre},
volume = {7940},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-38613-8},
}