{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:47:00Z","timestamp":1725626820616},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540106173"},{"type":"electronic","value":"9783642679773"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-642-67977-3_19","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T05:28:55Z","timestamp":1319779735000},"page":"216-229","source":"Crossref","is-referenced-by-count":3,"title":["Sicherheit durch vollst\u00e4ndige Diversit\u00e4t"],"prefix":"10.1007","author":[{"given":"Karl-Heinz","family":"Kapp","sequence":"first","affiliation":[]},{"given":"Reiner","family":"Daum","sequence":"additional","affiliation":[]},{"given":"Erich","family":"Sartori","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Harms","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"The architecture of concurrent programs","author":"PB Hansen","year":"1977","unstructured":"Brinch Hansen, PJ: The architecture of concurrent programs. Prentice Hall, Englewood Cliffs (1977)"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/356599.356602","volume":"4","author":"B Elspas","year":"1972","unstructured":"Elspas, B. Lewitt, K.N., Waldinger, R.J., Waksman, A: An assessment of techniques for proving program correctness. Computing Surveys 4, 97\u2013147 (1972)","journal-title":"Computing Surveys"},{"key":"19_CR3","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1090\/psapm\/019\/0235771","volume-title":"Mathematical aspects of computer science","author":"RW Floyd","year":"1967","unstructured":"Floyd, R.W: Assigning meanings to programs. In J.T. Schwartz (ed.)t Mathematical aspects of computer science, pp. 19\u201332. Amer. Math. Soc.t Providence, Rl (1967)"},{"key":"19_CR4","volume-title":"Zuverl\u00e4ssigkeitsprobleme elektronischer Schaltungen. Bl Hochschulskripten 820\/820a, Mannheim","author":"W G\u00f6rke","year":"1968","unstructured":"G\u00f6rke, W: Zuverl\u00e4ssigkeitsprobleme elektronischer Schaltungen. Bl Hochschulskripten 820\/820a, Mannheim (1968)"},{"key":"19_CR5","volume-title":"A Concurrent PASCAL compiler tor minicomputers. Lecture Notes in Computer Science, 50, Springer-Verlag","author":"AC Hartmann","year":"1977","unstructured":"Hartmann, AC: A Concurrent PASCAL compiler tor minicomputers. Lecture Notes in Computer Science, 50, Springer-Verlag (1977)."},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, CAR: An axiomatic basis for computer programming. Comm. ACM 12, 576\u2013583 (1969)","journal-title":"Comm. ACM"},{"key":"19_CR7","first-page":"25","volume":"2","author":"K-H Kapp","year":"1979","unstructured":"Kapp, K.-H., Daum, R: Sicherheit und Zuverl\u00e4ssigkeit von Automatisierungssoftware. Informatik Spektrum 2, 25\u201336 (1979)","journal-title":"Informatik Spektrum"},{"key":"19_CR8","volume-title":"Untersuchungen zur Software-Sicherheit und Zuverl\u00e4ssigkeit von Proze\u00dfrechnern. GRS A-43","author":"M Kersken","year":"1977","unstructured":"Kersken, M\u201e Ehrenberger, WJ Untersuchungen zur Software-Sicherheit und Zuverl\u00e4ssigkeit von Proze\u00dfrechnern. GRS A-43, Gesellschaft f\u00fcr Reaktorsicherheit, Garching (1977)"},{"key":"19_CR9","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"RM Keller","year":"1976","unstructured":"Keller, R.M: Formal verification of parallel programs. Comm. ACM 19, 371\u2013385 (1976)","journal-title":"Comm. ACM"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C: Symbolic execution and program testing. Comm. ACM 19, 385\u2013394 (1976)","journal-title":"Comm. ACM"},{"key":"19_CR11","volume-title":"Safe software by functional diversity. EWICS, TC7, No 37","author":"R Lauber","year":"1975","unstructured":"Lauber, R: Safe software by functional diversity. EWICS, TC7, No 37 (1975)"},{"key":"19_CR12","volume-title":"The module: a tool for structured programming. Dissertation Nr. 6153, E.T.H. Z\u00fcrich","author":"VK Le","year":"1978","unstructured":"Le, VK: The module: a tool for structured programming. Dissertation Nr. 6153, E.T.H. Z\u00fcrich (1978)"},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S Owicki","year":"1976","unstructured":"Owicki, S., Gries, DJ An axiomatic proof technique tor parallel programs I. Acta Informatica 6, 319\u2013340 (1976)","journal-title":"Acta Informatica"},{"key":"19_CR14","volume-title":"Sicherheit und Zuverl\u00e4ssigkeit von Nahtransportsystemen; Grundlagen f\u00fcr die Erstellung von Richtlinion. Schlu\u00dfbericht und 6 Anhangb\u00e4nde. Hamburg","author":"Studiengesellschaft f\u00fcr Nahverkehr m.b.H","year":"1978","unstructured":"Studiengesellschaft f\u00fcr Nahverkehr m.b.H: Sicherheit und Zuverl\u00e4ssigkeit von Nahtransportsystemen; Grundlagen f\u00fcr die Erstellung von Richtlinion. Schlu\u00dfbericht und 6 Anhangb\u00e4nde. Hamburg (1978)."},{"key":"19_CR15","unstructured":"Modula: a language for modular multiprogramming. Software- Practice and Experience, 7, 3\u201335 (1977)"}],"container-title":["Informatik-Fachberichte","Fachtagung Proze\u00dfrechner 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-67977-3_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:19:34Z","timestamp":1606256374000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67977-3_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106173","9783642679773"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67977-3_19","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}