@inproceedings{d90f560d27d14856ac40ee15fcdc571d,
title = "Precise approximations of the probability distribution of a Markov process in time: An application to probabilistic invariance",
keywords = "Conf.proc. > 3 pag",
author = "{Esmaeil Zadeh Soudjani}, S and A Abate",
note = "harvest Held as part of the European joint conferences on theory and practice of software, ETAPS 2014; TACAS 2014, Grenoble, France ; Conference date: 05-04-2014 Through 13-04-2014",
year = "2014",
doi = "10.1007/978-3-642-54862-8_45",
language = "English",
isbn = "978-364254861-1",
publisher = "Springer",
pages = "547--561",
editor = "E Abraham and K Havelund",
booktitle = "Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
}