@misc
{TN_libero_mab2,
author = {
Sorea, Maria
AND
Ruess, Harald
},
title = {
1.3.4 Model‐Based Design and Verification of Fault‐Tolerant Systems
},
publisher = {Wiley},
isbn = {2334-5837},
keywords = {
General Earth and Planetary Sciences
,
General Environmental Science
},
year = {2007},
url = {
http://slubdd.de/katalog?TN_libero_mab2
}
}