{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:28:31Z","timestamp":1725640111044},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547556"},{"type":"electronic","value":"9783642770609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-642-77060-9_25","type":"book-chapter","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T08:01:59Z","timestamp":1323158519000},"page":"265-275","source":"Crossref","is-referenced-by-count":1,"title":["Praktischer Einsatz und Weiterentwicklung von Estelle"],"prefix":"10.1007","author":[{"given":"C.","family":"Andrae","sequence":"first","affiliation":[]},{"given":"J.","family":"Bredereke","sequence":"additional","affiliation":[]},{"given":"C.","family":"Hille","sequence":"additional","affiliation":[]},{"given":"D.","family":"Peter","sequence":"additional","affiliation":[]},{"given":"T.","family":"Reimer","sequence":"additional","affiliation":[]},{"given":"U.","family":"Sch\u00fcler","sequence":"additional","affiliation":[]},{"given":"R.","family":"Gotzhein","sequence":"additional","affiliation":[]},{"given":"F. H.","family":"Vogt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Eine Spezifikation von CCR in Estelle","author":"C Andrae","year":"1990","unstructured":"Andrae, C.: Eine Spezifikation von CCR in Estelle, Studienarbeit, Fachbereich Informatik, Universit\u00e4t Hamburg, 1990"},{"key":"25_CR2","volume-title":"Spezifikation und Verifikation des InRes-Protokolls unter Verwendung von Estelle und temporaler Logik","author":"J Bredereke","year":"1990","unstructured":"Bredereke, J.: Spezifikation und Verifikation des InRes-Protokolls unter Verwendung von Estelle und temporaler Logik, Studienarbeit Nr. 700, Fachbereich Informatik, Universit\u00e4t Hamburg, 1990"},{"key":"25_CR3","first-page":"35","volume-title":"The Formal Description Technique Estelle","author":"P Dembinski","year":"1989","unstructured":"Dembinski, P., Budkowski, S.: Specification Language Estelle, in: M. Diaz et al. (eds.), The Formal Description Technique Estelle, North-Holland, 1989, S. 35\u201375"},{"key":"25_CR4","first-page":"67","volume-title":"Formal Description Techniques","author":"R Gotzhein","year":"1990","unstructured":"Gotzhein, R.: The Formal Definition of the Architectural Concept \u2018Interaction Point\u2019, in: S. T. Vuong (ed.), Formal Description Techniques, II, North-Holland, 1990, S. 67\u201381"},{"key":"25_CR5","volume-title":"Spezifikation eines Manufacturing Message Specification-Subsets (MMS) in Estelle mit einer nachfolgenden Implementierung in einer UNIX-Umgebung, Diplomarbeit","author":"C Hille","year":"1990","unstructured":"Hille, C.: Spezifikation eines Manufacturing Message Specification-Subsets (MMS) in Estelle mit einer nachfolgenden Implementierung in einer UNIX-Umgebung, Diplomarbeit, Fachbereich Informatik, Universit\u00e4t Hamburg, 1990"},{"key":"25_CR6","unstructured":"Estelle, LOTOS und SDL. Standard-Spezifikationssprachen f\u00fcr verteilte Systeme, Springer-Verlag, Berlin, 1989, 188 S."},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"ISO\/TC97\/SC16: Data Processing \u2014 Open Systems Interconnection \u2014 Basic Reference Model, Computer Networks 5, 1981, S.81\u2013118","DOI":"10.1016\/0376-5075(81)90066-0"},{"key":"25_CR8","unstructured":"ISO DIS 9804.2 Service Definition for the Commitment, Concurrency and Recovery Service Element, 1988"},{"key":"25_CR9","unstructured":"ISO DIS 9805.2 Protocol Specification for the Commitment, Concurrency and Recovery Service Element, 1988"},{"key":"25_CR10","unstructured":"ISO IS 9066-1 Information processing systems-Text Communication Reliable Transfer Part 1: Model and Service Definition, 1988"},{"key":"25_CR11","unstructured":"ISO IS 9066-2 Information processing systems \u2014 Text Communication Reliable Transfer Part 2: Protocol Specification, 1988"},{"key":"25_CR12","unstructured":"ISO IS 9074, Estelle \u2014 A Formal Description Technique Based on an Extended State Transition Model, 1989, 179 S."},{"key":"25_CR13","unstructured":"ISO DIS 9506 Industrial Automation Systems-System Integration and Communication-Manufacturing Message Specification \/ Part 1 Service \/ Part 2 Protocol, 1989"},{"key":"25_CR14","unstructured":"User Guide for the NBS Prototype Compiler for Estelle \u2014 Final Report, National Institute of Standards and Technologies, Report No. ICST\/SNA-87\/3, Okt. 1987, 73 S."},{"key":"25_CR15","volume-title":"Konzeption eines Environments zur Generierung und verteilten Ausf\u00fchrung von Estelle-Code","author":"D Peter","year":"1989","unstructured":"Peter, D.: Konzeption eines Environments zur Generierung und verteilten Ausf\u00fchrung von Estelle-Code, Studienarbeit Nr. 379, Fachbereich Informatik, Universit\u00e4t Hamburg, 1989"},{"key":"25_CR16","volume-title":"Entwurf, Realisierung und Integration eines Protokolls zur verteilten Ausf\u00fchrung von Estelle-Spezifikationen","author":"D Peter","year":"1991","unstructured":"Peter, D.: Entwurf, Realisierung und Integration eines Protokolls zur verteilten Ausf\u00fchrung von Estelle-Spezifikationen, Diplomarbeit Nr. 791, Fachbereich Informatik, Universit\u00e4t Hamburg, 1991"},{"key":"25_CR17","volume-title":"Implementierung eines Reliable Transfer Service Elements (RTSE) mittels der formalen Beschreibungstechnik Estelle","author":"T Reimer","year":"1989","unstructured":"Reimer T.: Implementierung eines Reliable Transfer Service Elements (RTSE) mittels der formalen Beschreibungstechnik Estelle, Diplomarbeit Nr. 593, Fachbereich Informatik, Universit\u00e4t Hamburg, 1989"},{"key":"25_CR18","volume-title":"Entwurf und Realisierung einer Benutzeroberfl\u00e4che f\u00fcr die interaktive Simulation einer Estelle-Spezifikation","author":"U Sch\u00fcler","year":"1991","unstructured":"Sch\u00fcler, U.: Entwurf und Realisierung einer Benutzeroberfl\u00e4che f\u00fcr die interaktive Simulation einer Estelle-Spezifikation, Studienarbeit Nr. 688, Fachbereich Informatik, Universit\u00e4t Hamburg, 1991"}],"container-title":["Informatik-Fachberichte","Telekommunikation und multimediale Anwendungen der Informatik"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77060-9_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:16:15Z","timestamp":1606256175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77060-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547556","9783642770609"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77060-9_25","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}