{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:06:42Z","timestamp":1725667602769},"publisher-location":"Wiesbaden","reference-count":4,"publisher":"Vieweg+Teubner Verlag","isbn-type":[{"type":"print","value":"9783519026501"},{"type":"electronic","value":"9783322848239"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-322-84823-9_18","type":"book-chapter","created":{"date-parts":[[2012,3,10]],"date-time":"2012-03-10T04:25:18Z","timestamp":1331353518000},"page":"193-202","source":"Crossref","is-referenced-by-count":0,"title":["Neue Verfahren zur maschinellen Analyse des Verhaltens von Protokollmaschinen anhand passiver Beobachtung"],"prefix":"10.1007","author":[{"given":"Marek","family":"Musial","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"EM Gold","year":"1967","unstructured":"E. M. Gold. Language identification in the limit. Information and Control, 10:447\u2013474, 1967.","journal-title":"Information and Control"},{"key":"18_CR2","unstructured":"ISO. OSI conformance testing methology and framework. International Standard ISO\/IS-9646, ISO, 1991."},{"key":"18_CR3","unstructured":"Marek Musial. Verfahren zum \u00dcberpr\u00fcfen eines gem\u00e4\u00df einem Kommunikationsprotokoll durchgef\u00fchrten Datenaustausches. Patent Nr. GR 96 P 8597 P, Deutsches Patentamt, M\u00fcnchen, 1996."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Marek Musial. On-line timed protocol trace analysis based on uncertain state descriptions. In FORTE\/PSTV\u201997 International Conference on Formal Description Techniques. IFIP, Elsevier, 1997.","DOI":"10.1007\/978-0-387-35271-8_21"}],"container-title":["Ausgezeichnete Informatikdissertationen 1999"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-322-84823-9_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T13:41:02Z","timestamp":1619962862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-322-84823-9_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783519026501","9783322848239"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-322-84823-9_18","relation":{},"subject":[],"published":{"date-parts":[[2000]]}}}