author = { Bodennec, Christine AND Jourdain, Chantal AND Mazuet, Christine AND Garnier, Robert AND Perez, Daniel },

title = { Dependability of Safety Critical Systems: Complementarity of Probabilistic and Formal Methods },

publisher = {Elsevier BV},

isbn = {1474-6670},

keywords = { General Economics, Econometrics and Finance },

year = {1998},

url = { http://slubdd.de/katalog?TN_libero_mab2 }