{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:12:34Z","timestamp":1725732754115},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664505"},{"type":"electronic","value":"9783662010693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-662-01069-3_28","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T10:47:02Z","timestamp":1371725222000},"page":"181-189","source":"Crossref","is-referenced-by-count":0,"title":["Erweiterte Message Sequence Charts f\u00fcr die Verifikation von Statemate-Entw\u00fcrfen"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Klose","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","volume-title":"FMOODS99 IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems","author":"W Damm","year":"1999","unstructured":"W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. In FMOODS 99 IFIP TC6\/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999."},{"issue":"1998","key":"28_CR2","first-page":"13","volume":"4346","author":"H Ehrig","year":"1998","unstructured":"H. Ehrig, R. Geisler, and M. Klar. DFG-Schwerpunktprogramm ab 1998: Integration von Techniken der Softwarespezifikation fuer ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung, 13: 43-46, 1998.","journal-title":"Informatik Forschung und Entwicklung"},{"key":"28_CR3","volume-title":"The STATEMATE semantics of statecharts. Technical Report CS95-31","author":"D Harel","year":"1995","unstructured":"D. Harel and A. Naamad. The STATEMATE semantics of statecharts. Technical Report CS95-31, The Weizmann Institute of Science, Rehovot, 1995."},{"key":"28_CR4","volume-title":"The statemate approach. Technical Report CS95-31, The Weizmann Institute of Science","author":"David Haret and Michal Politi. Modeling reactive systems with statecharts","year":"1996","unstructured":"HP96] David Haret and Michal Politi. Modeling reactive systems with statecharts: The statemate approach. Technical Report CS95-31, The Weizmann Institute of Science, R.ehovot, Israel, 1996."},{"key":"28_CR5","volume-title":"ITU-TS Recommendation Z.120: Message Sequence Chart (MSC)","author":"ITU-TS","year":"1996","unstructured":"ITU-TS. ITU-TS Recommendation Z.120: Message Sequence Chart (MSC). ITU-TS, Geneva, October 1996."},{"key":"28_CR6","unstructured":"Rainer Schl\u00f6r. Symbolic Timing Diagrams: A Visual Formalism for Specification and Verification of System-level Hardware Designs. PhD thesis, Universit\u00e4t Oldenburg, 1999 (to appear)."}],"container-title":["Informatik aktuell","Informatik\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01069-3_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T05:25:53Z","timestamp":1557811553000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01069-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664505","9783662010693"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01069-3_28","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1999]]}}}