{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T14:11:06Z","timestamp":1725718266436},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108849"},{"type":"electronic","value":"9783662010891"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/978-3-662-01089-1_45","type":"book-chapter","created":{"date-parts":[[2013,3,4]],"date-time":"2013-03-04T15:08:56Z","timestamp":1362409736000},"page":"460-471","source":"Crossref","is-referenced-by-count":0,"title":["Der Entwurf Nebenl\u00e4ufiger Systeme mit Handlungs-Entscheidungs-Netzen"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Kr\u00e4mer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heinz W.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","first-page":"19","volume-title":"Towards More Formal Specifications. German Chapter of the ACM, Berichte Nr. 5","author":"CB Jones","year":"1981","unstructured":"Jones, C. B.: Towards More Formal Specifications. German Chapter of the ACM, Berichte Nr. 5, pp. 19\u201345, Stuttgart: B.G. Teubner (1981)"},{"key":"45_CR2","first-page":"46","volume-title":"Algebraische Spezifikation von Softwaresystemen. German Chapter of the ACM, Berichte Nr. 5","author":"H-J Kreowski","year":"1981","unstructured":"Kreowski, H.-J.: Algebraische Spezifikation von Softwaresystemen. German Chapter of the ACM, Berichte Nr. 5, pp. 46\u201374, Stuttgart: B.G. Teubner (1981)"},{"key":"45_CR3","first-page":"134","volume-title":"Interactive Software Development by Stepwise Formalisation","author":"B Kr\u00e4mer","year":"1981","unstructured":"Kr\u00e4mer, B. und Schmidt, H. W.: Interactive Software Development by Stepwise Formalisation. Proceedings of the sixth ACM European regional conference (pp.134\u2013143), Guildford, England: IPC Press Ltd. (1981)"},{"key":"45_CR4","volume-title":"Einige Prinzipien zum Verst\u00e4ndnis nebenl\u00e4ufiger Systeme und Prozesse","author":"R Budde","year":"1981","unstructured":"Budde, R.: Einige Prinzipien zum Verst\u00e4ndnis nebenl\u00e4ufiger Systeme und Prozesse. Beitrag dieser Tagung (1981)"},{"volume-title":"Net Theory and Applications. Lecture Notes in Computer Science, vol. 84","year":"1980","key":"45_CR5","unstructured":"Brauer, W. (ed.): Net Theory and Applications. Lecture Notes in Computer Science, vol. 84. Berlin, Heidelberg, New York: Springer (1980)"},{"key":"45_CR6","volume-title":"\u00dcber einige Anwendungen der Netztheorie. GI \u2014 9. Jahrestagung, Informatik-Fachberichte, vol. 19","author":"CA Petri","year":"1979","unstructured":"Petri, C.A.: \u00dcber einige Anwendungen der Netztheorie. GI \u2014 9. Jahrestagung, Informatik-Fachberichte, vol. 19. Berlin, Heidelberg, New York: Springer (1979)"},{"key":"45_CR7","volume-title":"Petri Heil. Computerwoche","author":"G Bretschneider","year":"1980","unstructured":"Bretschneider, G.: Petri Heil. Computerwoche, Juni 1980."},{"volume-title":"Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage. PDV-Berichte, Karlsruhe: KfK-PDV 186","year":"1980","key":"45_CR8","unstructured":"Hommel, G. (Hrsg.): Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage. PDV-Berichte, Karlsruhe: KfK-PDV 186, Teile 1 und 2 (1980)"},{"key":"45_CR9","first-page":"21","volume-title":"Elements of General Net Theory","author":"HJ Genrich","year":"1980","unstructured":"Genrich, H.J., Lautenbach, K., und Thiagarajan, P.S.: Elements of General Net Theory. In [5], pp. 21\u2013163 (1980)"},{"key":"45_CR10","volume-title":"Handlungstheorien interdisziplin\u00e4r I","author":"HJ Genrich","year":"1980","unstructured":"Genrich, H.J.: Ein systemtheoretischer Beitrag zur Handlungslogik. In: ed. H. Lenk, Handlungstheorien interdisziplin\u00e4r I, M\u00fcnchen: Wilhelm Fink Verlag (1980)"},{"key":"45_CR11","volume-title":"Syntaktische Beschreibung von CDL2. Bericht des Informatik Forschungsprojekts CDL2","author":"JP Dehottay","year":"1976","unstructured":"Dehottay, J.P., Feuerhahn, H., Koster, C.H.A. und Stahl, H.M.: Syntaktische Beschreibung von CDL2. Bericht des Informatik Forschungsprojekts CDL2, Berlin: Technische Universit\u00e4t (1976)"},{"key":"45_CR12","first-page":"179","volume-title":"Visibility and Types. Conference on Data, Salt Lake City, SIG- PLAN Notices Special Issue","author":"CHA Koster","year":"1976","unstructured":"Koster, C.H.A.: Visibility and Types. Conference on Data, Salt Lake City, SIG- PLAN Notices Special Issue, pp. 179\u2013190 (1976)"},{"key":"45_CR13","volume-title":"Constructing Quality Software","author":"H Feuerhahn","year":"1978","unstructured":"Feuerhahn, H. und Koster, C.H.A.: Static Semantic Checks in an Openended Language. In: Constructing Quality Software. Amsterdam: North Holland Publishing Company (1978)"},{"key":"45_CR14","volume-title":"Petrinetze \u2014 Ein leicht verst\u00e4ndliches Vefahren zum Systementwurf","author":"G Bretschneider","year":"1980","unstructured":"Bretschneider, G.: Petrinetze \u2014 Ein leicht verst\u00e4ndliches Vefahren zum Systementwurf. M\u00fcnchen: Siemens AG, Bereich Daten- und Informationssysteme (1980)"}],"container-title":["Informatik-Fachberichte","GI \u2014 11. Jahrestagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01089-1_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T14:13:56Z","timestamp":1557584036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01089-1_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108849","9783662010891"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01089-1_45","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1981]]}}}