author = { Glöe, Günter },

title = { Ein Verfahren zum Nachweis des anforderungsgemäßen Zeitverhaltens von Rechnersystemen mit Sicherheitsverantwortung },

publisher = {Inst. für Eisenbahnwesen und Verkehrssicherung, Techn. Univ.},

isbn = {3923325541},

keywords = { Hochschulschrift , Forschungsbericht , Prozessrechensystem , Zuverlässigkeit },

year = {1996},

booktitle = {Schriftenreihe / Institut für Eisenbahnwesen und Verkehrssicherung, Technische Universität Braunschweig ; 54},

address = { Braunschweig },

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