{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T19:54:11Z","timestamp":1725652451830},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540574736"},{"type":"electronic","value":"9783642786587"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-3-642-78658-7_3","type":"book-chapter","created":{"date-parts":[[2012,1,16]],"date-time":"2012-01-16T09:56:19Z","timestamp":1326707779000},"page":"43-51","source":"Crossref","is-referenced-by-count":0,"title":["PEARL als Spezifikationssprache"],"prefix":"10.1007","author":[{"given":"Wolfgang A.","family":"Halang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd J.","family":"Kr\u00e4mer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Untersuchung der Eignung der Proze\u00dfprogrammiersprache PEARL zur Automatisierung von Folgeprozessen","author":"A Ghassemi","year":"1978","unstructured":"A. Ghassemi: Untersuchung der Eignung der Proze\u00dfprogrammiersprache PEARL zur Automatisierung von Folgeprozessen. Dissertation, Universit\u00e4t Stuttgart, 1978."},{"key":"3_CR2","unstructured":"GI-Fachgruppe 4.4.2 \u201cEchtzeitprogrammierung, PEARL\u201d: PEARL \u201990 Sprachreport, Version 1.0. Bonn: Gesellschaft f\u00fcr Informatik, 1993."},{"issue":"4","key":"3_CR3","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/52.219619","volume":"10","author":"WA Halang","year":"1993","unstructured":"W.A. Halang und A.D. Stoyenko: Extending PEARL for Industrial Real-Time Applications. IEEE Software, 10, 4, 65\u201374, 1993.","journal-title":"IEEE Software"},{"key":"3_CR4","volume-title":"Strategien f\u00fcr die Echtzeitprogrammierung","author":"DJ Hatley","year":"1993","unstructured":"D.J. Hatley und I.A. Pirbhai: Strategien f\u00fcr die Echtzeitprogrammierung. M\u00fcnchen-Wien: Carl Hanser Verlag 1993."},{"key":"3_CR5","volume-title":"Programmable Controllers. Part 3: Programming Languages","author":"Internationale Norm IEC 1131-3","year":"1992","unstructured":"Internationale Norm IEC 1131-3: Programmable Controllers. Part 3: Programming Languages. Genf: International Electrotechnical Commission 1992."},{"key":"3_CR6","volume-title":"Proc. 23rd Annual Hawaii International Conference on System Sciences","author":"B Kr\u00e4mer","year":"1990","unstructured":"B. Kr\u00e4mer und Luqi: Specification-based software construction. In: B.D. Shriver (Hrsg.), Proc. 23rd Annual Hawaii International Conference on System Sciences, Vol. II. North Hollywood: Western Periodicals Company 1990."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"J. Kramer, J. Magee und K. Ng: Graphical Configuration Programming. IEEE Computer, 53\u201365, Oktober 1989.","DOI":"10.1109\/2.42014"},{"key":"3_CR8","volume-title":"A Constructive Approach to the Design of Distributed Systems","author":"J Kramer","year":"1990","unstructured":"J. Kramer, J. Magee und A. Finkelstein: A Constructive Approach to the Design of Distributed Systems. Proc. 10th International Conference on Distributed Computing Systems, Paris, 1990."},{"key":"3_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-09530-0","volume-title":"Proze\u00dfautomatisierung","author":"R Lauber","year":"1989","unstructured":"R. Lauber: Proze\u00dfautomatisierung, Band 1, 2. Auflage. Berlin-Heidelberg-New York-London-Paris-Tokio: Springer-Verlag 1989.","edition":"2"}],"container-title":["Informatik aktuell","Pearl 93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-78658-7_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:41:21Z","timestamp":1606412481000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-78658-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540574736","9783642786587"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-78658-7_3","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1993]]}}}