Result: Abstraction, refinement and proof for probabilistic systems

*Title*:

*Author/editor-in-chief*:

*Publication*:

New York : Springer, 2005

*Physical description scale*:

XIX, 383 S.

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Monographs in computer science

*RVK-Notation*:

*ISBN*:

0387401156

*Result*: Abstraction, refinement and proof for probabilistic systems