TY  - BOOK
ID  - M.1993
T1  - Symbolic and Quantitative Approaches to Uncertainty
ED  - Moral, S.
ED  - Clarke, M.
ED  - Kruse, Rudolf
T3  - Lecture Notes in Computer Science
Y1  - 1993
VL  - 747
PB  - Springer
AD  - Berlin
ER  -