Gaya APA
Abstraction, Refinement and Proof for Probabilistic Systems
.
(2005).
New York, NY:
Springer.
Gaya MLA
Abstraction, Refinement and Proof for Probabilistic Systems
.
1st ed..
New York, NY:
Springer,
2005.
E Book.