Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen. On Abstraction of Probabilistic Systems. In ROCKS. pages 87-116, 2012. [doi]
@inproceedings{DehnertGVJ12,
title = {On Abstraction of Probabilistic Systems},
author = {Christian Dehnert and Daniel Gebler and Michele Volpato and David N. Jansen},
year = {2012},
doi = {10.1007/978-3-662-45489-3_4},
url = {http://dx.doi.org/10.1007/978-3-662-45489-3_4},
researchr = {https://researchr.org/publication/DehnertGVJ12},
cites = {0},
citedby = {0},
pages = {87-116},
booktitle = {ROCKS},
}