Details for the publication DehnertGVJ12.

Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen (): On Abstraction of Probabilistic Systems. In Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures, volume 8453 of Lecture Notes in Computer Science, pages 87-116, 2012. DOI BIB