{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:46:56Z","timestamp":1725626816358},"publisher-location":"Berlin, Heidelberg","reference-count":6,"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_10","type":"book-chapter","created":{"date-parts":[[2011,10,28]],"date-time":"2011-10-28T05:28:55Z","timestamp":1319779735000},"page":"119-128","source":"Crossref","is-referenced-by-count":1,"title":["Rechnergestotzte Umsetzung von Epos-Spezifikationen in Pearl-Programme"],"prefix":"10.1007","author":[{"given":"E.","family":"Joho","sequence":"first","affiliation":[]},{"given":"S.","family":"Jovaleki\u0107","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Rechnergest\u00fctztes Entwerfen und Dokumentieren von Proze\u00dfautomatisierungssystemen mit EPOS. GI 9. Jahrestagung Bonn. Springer-Verlag","author":"R Lauber","year":"1979","unstructured":"Lauber, R.: Rechnergest\u00fctztes Entwerfen und Dokumentieren von Proze\u00dfautomatisierungssystemen mit EPOS. GI 9. Jahrestagung Bonn. Springer-Verlag 1979"},{"key":"10_CR2","first-page":"11","volume":"28","author":"J Biewald","year":"1980","unstructured":"Biewald, J., G\u00f6hner, P., Lauber, R. und Schelling, H.: Das Software-Werkzeug EPOS zur Unterst\u00fctzung der Ingenieurt\u00e4tigkeiten beim Entwurf und bei der Wartung von Proze\u00dfautomatisierungssystemen. Regelungstechnik 28 (1980) S. 11\u201315","journal-title":"Regelungstechnik"},{"key":"10_CR3","unstructured":"Einf\u00fchrung in EPOS 80. Schulungsunterlage. Herausgegeben vom Institut f\u00fcr Regelungstechnik und Proze\u00dfautomatisierung, Universit\u00e4t Stuttgart, Juli 1980"},{"key":"10_CR4","first-page":"373","volume":"27","author":"R Lauber","year":"1979","unstructured":"Lauber, R.: Modelle zur Beschreibung des Entwerfens von Proze\u00dfautomatisierungssystemen, Regelungstechnik 27 (1979) S. 373\u2013379","journal-title":"Regelungstechnik"},{"key":"10_CR5","volume-title":"Ingenieurgerechte Spezifikation der Synchronisierung paralleler Rechenprozesse. Doktorarbeit an der Universit\u00e4t Stuttgart","author":"P G\u00f6hner","year":"1980","unstructured":"G\u00f6hner, P.: Ingenieurgerechte Spezifikation der Synchronisierung paralleler Rechenprozesse. Doktorarbeit an der Universit\u00e4t Stuttgart, 1980 (wird ver\u00f6ffentlicht)"},{"key":"10_CR6","volume-title":"Diplomarbeit am Institut f\u00fcr Regelungstechnik und Proze\u00dfautomatisierung der Universit\u00e4t Stuttgart","author":"HG Scheidt","year":"1980","unstructured":"Scheidt, H.G.: Umsetzung einer EPOS-Spezifikation in ein PEARL-Programm am Beispiel der Paketverteilanlage. Diplomarbeit am Institut f\u00fcr Regelungstechnik und Proze\u00dfautomatisierung der Universit\u00e4t Stuttgart 1980."}],"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_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:19:29Z","timestamp":1606256369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-67977-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540106173","9783642679773"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-67977-3_10","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}