{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:58:40Z","timestamp":1725465520632},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540295941"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-29595-x_8","type":"book-chapter","created":{"date-parts":[[2006,2,16]],"date-time":"2006-02-16T20:23:57Z","timestamp":1140121437000},"page":"77-86","source":"Crossref","is-referenced-by-count":0,"title":["Eine Technik zur Konstruktion sicherer und zuverl\u00e4ssiger Echtzeitsysteme"],"prefix":"10.1007","author":[{"given":"Peter F.","family":"Elzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Trenkel S., Gollub M.: Implementation von Methoden zur zuverl\u00e4ssigen Programmierung von Echtzeitsystemen. Studienarbeit im Fachbereich Mathematik und Informatik der TUC, Dez. 2004."},{"key":"8_CR2","first-page":"137","volume-title":"Informatik Fachberichte","author":"P. Elzer","year":"1977","unstructured":"Elzer P.: Ein Mechanismus zur Erstellung strukturierter Proze\u00dfautomatisierungsprogramme. Informatik Fachberichte Nr.7, GMR-GI-GfK Fachtagung Proze\u00dfrechner, Springer, Berlin, Heidelberg, New York: 137\u2013148, 1977."},{"key":"8_CR3","unstructured":"Elzer P.: Strukturierte Beschreibung von Prozesssystemen. Dissertation, Arbeitsberichte des Instituts f\u00fcr Mathematische Maschinen und Datenverarbeitung der Universit\u00e4t Erlangen-N\u00fcrnberg: Bd.12, Nr.1, 1979."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Elzer P.: Missed Opportunities in Real Time Programming? in: Wolfinger B. (Hrsg.): Innovationen bei Rechen-.und Kommunikationssystemen. 24. Jahrestagung der GI zusammen mit dem 13. IFIP Weltkongress, Hamburg, 28.August bis 2.September 1994: 328\u2013339, Springer, 1994.","DOI":"10.1007\/978-3-642-51136-3_44"},{"key":"8_CR5","unstructured":"Elzer P.: A Method for the Construction of Reliable Real-Time Programs. Embedded in Munich Conference with Embedded Systems Conference 2004, M\u00fcnchen, Nov. 2004."},{"issue":"8","key":"8_CR6","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/953349.953350","volume":"8","author":"B. Nassi","year":"1973","unstructured":"Nassi B., Shneiderman A.: Flowchart Techniques for Structured Programming. SIGPLAN Notices, Bd.8, Nr.8, 12\u201326, Aug. 1973.","journal-title":"SIGPLAN Notices"},{"issue":"3","key":"8_CR7","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/365230.365252","volume":"9","author":"J.B. Dennis","year":"1966","unstructured":"Dennis J.B., Van Horn E.C.: Programming Semantics for Multiprogrammed Computations. CACM, Bd.9, Nr.3, 143\u2013155, M\u00e4rz 1966.","journal-title":"CACM"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/BF02163002","volume":"14","author":"A. Wijngarden Van","year":"1969","unstructured":"Van Wijngarden A., Mailloux B.J., Peck J.E.L., Koster C.H.A.: Report on the Algorithmic Language ALGOL 68. Num. Math. 14, 79\u2013218, 1969.","journal-title":"Num. Math."},{"key":"8_CR9","volume-title":"Programming in OCCAM","author":"G. Jones","year":"1987","unstructured":"Jones G.: Programming in OCCAM. Prentice Hall International, Englewood Cliffs, London, 1987."},{"issue":"12","key":"8_CR10","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1145\/361227.361230","volume":"18","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough J.B.: Exception Handling \u2014 Issues and a Proposed Notation. CACM, Bd.18, Nr. 12, 683\u2013696, Dez. 1975.","journal-title":"CACM"},{"issue":"7","key":"8_CR11","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1145\/363156.363160","volume":"12","author":"N. Habermann","year":"1969","unstructured":"Habermann N.: Prevention of System Deadlocks. CACM, Bd.12, Nr.7, 373\u2013385, Juli 1969.","journal-title":"CACM"}],"container-title":["Informatik aktuell","Echtzeitaspekte bei der Koordinierung Autonomer Systeme"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-29595-X_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T17:56:00Z","timestamp":1619546160000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-29595-X_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540295941"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-29595-x_8","relation":{},"subject":[]}}