On abstraction of probabilistic systems

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	tochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
Publisher	Springer
Pages	87-116
Publication status	Published - 2014

Persistent URL (handle)

@inbook{79a1863b81834adc98556dbbbe7e3e9b,

title = "On abstraction of probabilistic systems",

author = "C. Dehnert and D. Gebler and M. Volpato and D. Jansen",

year = "2014",

language = "English",

pages = "87--116",

booktitle = "tochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems",

publisher = "Springer",

}