{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:14:05Z","timestamp":1725642845805},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558606"},{"type":"electronic","value":"9783642777479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-642-77747-9_11","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T01:44:19Z","timestamp":1323827059000},"page":"119-129","source":"Crossref","is-referenced-by-count":0,"title":["Testen paralleler Betriebssysteme"],"prefix":"10.1007","author":[{"given":"L.","family":"Eichler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"The Annotated C++ Reference Manual","author":"MA Ellis","year":"1990","unstructured":"M. A. Ellis, B. Stroustrup: The Annotated C++ Reference Manual, Addison-Wesley, Mass., 1990"},{"key":"11_CR2","volume-title":"DIAMOND DiagnosisMonitor for Distributed Systems","author":"L Eichler","year":"1990","unstructured":"L. Eichler, U. Krutschinna: DIAMOND Diagnosis Monitor for Distributed Systems, Ges. f. Mathematik u. Datenverarbeitung FIRST, Berlin 1990"},{"key":"11_CR3","volume-title":"A Distributed Implementation of Shared Virtual Memory with Strong and Weak Coherence","author":"WK Giloi","year":"1991","unstructured":"W. K. Giloi, C. Hastedt, F. Sch\u00f6n, W. Schr\u00f6der-Preikschat: A Distributed Implementation of Shared Virtual Memory with Strong and Weak Coherence, Proceedings of the 2nd European Distributed Memory Computing Conference, Munich, Germany, 1991"},{"key":"11_CR4","volume-title":"Programming Models for Massively Parallel Systems","author":"WK Giloi","year":"1991","unstructured":"W. K. Giloi, W. Schr\u00f6der-Preikschat: Programming Models for Massively Parallel Systems, International Symposium on New Information Processing Technologies \u201991, Tokyo, Japan, 1991"},{"key":"11_CR5","first-page":"95","volume":"9","author":"K-E Gro\u00dfpietsch","year":"1986","unstructured":"K.-E. Gro\u00dfpietsch, U. Voges: Methoden der Fehlerbehandlung, Informatik-Spektrum 9, 95\u2013109, 1986","journal-title":"Informatik-Spektrum"},{"key":"11_CR6","volume-title":"Object-orientedSoftware Construction","author":"B Meyer","year":"1988","unstructured":"B. Meyer: Object-oriented Software Construction, Prentice Hall Intern. Ltd, Hertfordshire, 1988"},{"issue":"12","key":"11_CR7","doi-asserted-by":"publisher","first-page":"32ff","DOI":"10.1145\/96267.96279","volume":"33","author":"BP Miller","year":"1990","unstructured":"B. P. Miller, L. Fredriksen, B. So: An Empirical Study of the Reliability of UNIX Utilities, Communications of the ACM, Dec. 1990, Vol. 33, No. 12, S. 32ff","journal-title":"Communications of the ACM"},{"key":"11_CR8","first-page":"88","volume-title":"IF\/Prolog Manual","author":"InterFace GmbH","year":"1986","unstructured":"InterFace GmbH: IF\/Prolog Manual, Version 3.4, Munich 2, Germany, 1986, 88"},{"key":"11_CR9","volume-title":"TWAICE 3.1 Manual C \u2014 K, AbteilungZSI","author":"NIXDORF Computer AG","year":"1988","unstructured":"NIXDORF Computer AG: TWAICE 3.1 Manual C \u2014 K, Abteilung ZSI, Paderborn, Germany, 1988"},{"key":"11_CR10","volume-title":"Remote Procedure Call","author":"BJ Nelson","year":"1982","unstructured":"B. J. Nelson: Remote Procedure Call, Carnegie-Mellon University, Mountain View, CA 94043, Report CMU-CS-81\u2013119, 1982"},{"key":"11_CR11","volume-title":"Fehlermodelle zur Kommunikation","author":"HW Pohl","year":"1991","unstructured":"H. W. Pohl: Fehlermodelle zur Kommunikation, Ges. f. Mathematik u. Datenverarbeitung FIRST, Ber\u00fcn 1991"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"848","DOI":"10.1109\/PGEC.1967.264748","volume":"C-16","author":"FP Preparata","year":"1967","unstructured":"F. P. Preparata, G. Metze, R. T. Chien: On the Connection Assignment Problem of Diagnosable Systems, IEEE Trans. El. Comp., pp. 848\u2013854, Vol C-16, 1967","journal-title":"IEEE Trans. El. Comp."},{"key":"11_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-95544-0","volume-title":"Diagnostisches Probleml\u00f6sen mit Expertensystemen","author":"F Puppe","year":"1987","unstructured":"F. Puppe: Diagnostisches Probleml\u00f6sen mit Expertensystemen, Informatik Fachberichte 148, Springer Verlag Berlin Tokyo etc., 1987"},{"key":"11_CR14","volume-title":"SunOS 4.1.1 Reference Manual","author":"Sun Microsystems, Inc.","year":"1990","unstructured":"Sun Microsystems, Inc.: SunOS 4.1.1 Reference Manual, Volume I, Revision A of 30. October 1990"}],"container-title":["Informatik aktuell","Testen, Analysieren und Verifizieren von Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77747-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T12:52:14Z","timestamp":1606395134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77747-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558606","9783642777479"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77747-9_11","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1992]]}}}