{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:11:01Z","timestamp":1725718261794},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108849"},{"type":"electronic","value":"9783662010891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-662-01089-1_29","type":"book-chapter","created":{"date-parts":[[2013,3,4]],"date-time":"2013-03-04T15:08:56Z","timestamp":1362409736000},"page":"317-326","source":"Crossref","is-referenced-by-count":0,"title":["Entwurf eines hochzuverl\u00e4ssigen redundanten Mikrorechnernetzes"],"prefix":"10.1007","author":[{"given":"F.","family":"Fetsch","sequence":"first","affiliation":[]},{"given":"L.","family":"Gmeiner","sequence":"additional","affiliation":[]},{"given":"U.","family":"Voges","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","volume-title":"Development of Safety Related Software","author":"EWICS TC7","year":"1981","unstructured":"EWICS TC7 Development of Safety Related Software EWICS TC7 WP 235, April 1981"},{"key":"29_CR2","volume-title":"Design and Code Inspections to Reduce Errors in Program Development","author":"ME Fagan","year":"1976","unstructured":"M.E. Fagan Design and Code Inspections to Reduce Errors in Program Development IBM Systems Journal 1976"},{"key":"29_CR3","first-page":"1","volume":"12","author":"W Geiger","year":"1980","unstructured":"W. Geiger, L. Gmeiner Automatische Test- und Dokumentationshilfsmittel f\u00fcr FORTRAN-Programme KfK-Nachrichten, 12(1980) No. 1\u20132, S. 23 \u2013 28","journal-title":"KfK-Nachrichten"},{"key":"29_CR4","first-page":"75","volume-title":"Safety of Computer Control Systems","author":"L Gmeiner","year":"1979","unstructured":"L. Gmeiner, U. Voges Software Diversity in Reactor Protection Systems: An Experiment in: R. Lauber (Hrsg.) Safety of Computer Control Systems. Proc. of the IFAC Workshop, Stuttgart, May 16\u201318, 1979, Pergamon Press, Oxford, S. 75\u201381"},{"key":"29_CR5","volume-title":"Intel iSBC 86\/12A Single Board Computer","author":"Intel Corporation","year":"1979","unstructured":"Intel Corporation Intel iSBC 86\/12A Single Board Computer Reliabitity Report RR-23, 1979"},{"key":"29_CR6","volume-title":"Design Features of the Fuel Element Computerized Protection System BESSY","author":"U J\u00fcngst","year":"1976","unstructured":"U. J\u00fcngst Design Features of the Fuel Element Computerized Protection System BESSY IAEA\/NPPCI Specialists\u2019 Meeting on Use of Computers for Protection Systems and Automatic Control Neuherberg, May 1976"},{"key":"29_CR7","volume-title":"PCSL und ESPRESO \u2014 zwei Ans\u00e4tze zur Formalisierung der Proze\u00dfrechner-Softwarespezifikation Fachtagung Proze\u00dfrechner","author":"J Ludewig","year":"1981","unstructured":"J. Ludewig PCSL und ESPRESO \u2014 zwei Ans\u00e4tze zur Formalisierung der Proze\u00dfrechner-Softwarespezifikation Fachtagung Proze\u00dfrechner, M\u00fcnchen, 10.\u201311.3.1981"},{"key":"29_CR8","volume-title":"General Research Corporation","author":"RXVP80 Users Manual","year":"1980","unstructured":"RXVP80 Users Manual General Research Corporation, Santa Barbara 1980"},{"key":"29_CR9","unstructured":"U. Voges, W. Ehrenberger Vorschl\u00e4ge zu Programmierrichtlinien f\u00fcr ein Reaktorschutzrechnersystem KFK-Ext. 13\/75\u201302"}],"container-title":["Informatik-Fachberichte","GI \u2014 11. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01089-1_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T14:02:12Z","timestamp":1557583332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01089-1_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108849","9783662010891"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01089-1_29","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}