{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:55Z","timestamp":1725456055229},"publisher-location":"Berlin\/Heidelberg","reference-count":10,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540177078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0026972","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:22:49Z","timestamp":1132395769000},"page":"373-399","source":"Crossref","is-referenced-by-count":1,"title":["From protocol specification to implementation and test"],"prefix":"10.1007","author":[{"given":"H. J.","family":"Burkhardt","sequence":"first","affiliation":[]},{"given":"H.","family":"Eckert","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Burkhardt, H. J.; Eckert, H.; Prinoth, R. Modelling of OSI-Communication Services and Protocols using Predicate\/Transition Nets Protocol Specification, Testing, and Verification Y. Yemini, R. Strom, and S. Yemini (ed.) Elsevier Science Publishers B. V. (North-Holland) C IFIP, 1985"},{"key":"23_CR2","unstructured":"Eckert, H.; Prinoth, R. Produktnetze \u2014 Definition eines PROSIT-Beschreibungsmittels Arbeitspapiere der GMD Nr. 92, 1984"},{"key":"23_CR3","unstructured":"Baumgarten, B.; Ochsenschl\u00e4ger, P.; Prinoth, R. Building Blocks for Distributed System Design Proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing and Verification, 1985 North Holland, 1985"},{"key":"23_CR4","unstructured":"Baumgarten, B.; Burkhardt, H. J.; Ochsenschl\u00e4ger, P.; Prinoth, R. The Signing of a Contract \u2014 a Tree Structured Application Modelled with Petri Net Building Blocks Advances in Petri Nets, LNCS, 222, Springer, 1986"},{"key":"23_CR5","unstructured":"Eckert, H.; Prinoth, R. A Computation-Systems Based Method for Automated Proving of Protocols Against Services Protocol Specification, Testing, and Verification, III H. Ruding and C. H. West (ed.) Elsevier Science Publishers B. V. (North-Holland) C. IFIP, 1983"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Baumgarten, B.; Ochsenschl\u00e4ger, P. Modelling and Verification of a Checkpoint-Restart-Protocol 2. GI\/NTG\/GMR-Fachtagung: Fehlertolerierende Rechensysteme Bonn 1984 Informatik-Fachberichte 84, pp 353\u2013363 Springer Verlag","DOI":"10.1007\/978-3-642-69698-5_29"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"B. Baumgarten, P. Ochsenschl\u00e4ger: On Termination and Phase Changes in the Presence of Unreliable Communication Information Processing Letters 1985","DOI":"10.1016\/0020-0190(86)90036-0"},{"key":"23_CR8","unstructured":"Paule, C. Das Netzsimulationsystem NESSY Arbeitspapiere der GMD Nr. 156, 1985"},{"key":"23_CR9","unstructured":"Burkhardt, H. J.; Eckert, H.; Prinoth, R. Implementing OSI Communication Protocols \u2014 A Systematic Approach to Derive SDL Implementation Specifications from Global Protocol Specifications ICCC 86"},{"key":"23_CR10","unstructured":"Burkhardt, H. J.; Eckert, H.; Giessler, A. Testing of Protocol Implementations \u2014 A Systematic Approach to Derivation of Test Sequences from Global Protocol Specifications \u2014 Proceeding of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing and Verification, 1985 North Holland, 1985"}],"container-title":["Lecture Notes in Computer Science","Networking in Open Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026972.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:56:17Z","timestamp":1607550977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540177078"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0026972","relation":{},"subject":[]}}