TY  - BOOK
A1  - 
TI  - Abstraction, refinement and proof for probabilistic systems
PB  - كتابخانه مركزی و مركز اسناد دانشگاه مازندران
SN  - 92923266
UR  /book/92923266/Abstraction-refinement-and-proof-for-probabilisti/
ER  -