@inproceedings{TACAS-2014-SoudjaniA,
author = "Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate",
booktitle = "{Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-54862-8_45",
isbn = "978-3-642-54861-1",
pages = "547--561",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance}",
volume = 8413,
year = 2014,
}

### Tags: