{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:14Z","timestamp":1725456374741},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646082"},{"type":"electronic","value":"9783540693390"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0028776","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:48:09Z","timestamp":1133419689000},"page":"532-536","source":"Crossref","is-referenced-by-count":2,"title":["A toolset for message sequence charts"],"prefix":"10.1007","author":[{"given":"Doron A.","family":"Peled","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"issue":"2","key":"51_CR1","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"R. Alur, G.J. Holzmann, D. Peled. An Analyzer for Message Sequence Charts. Software Concepts and Tools, Vol. 17, No. 2, pp. 70\u201377, 1996.","journal-title":"Software Concepts and Tools"},{"key":"51_CR2","first-page":"23","volume-title":"SDL'97, Time for testing: SDL, MSC and Trends","author":"A. Ek","year":"1997","unstructured":"A. Ek, J. Grabowski, D. Hogrefer, R. Jerome, B. Kosh, M. Schmitt, SDL'97, Time for testing: SDL, MSC and Trends, Proceedings of the 8th DSL Forum, Elsevier, France, 23\u201326, 1997."},{"issue":"2","key":"51_CR3","first-page":"63","volume":"17","author":"G.J. Holzmann","year":"1996","unstructured":"G.J. Holzmann, Early Fault Detection Tools, Software Concepts and Tools, Vol. 17, No. 2, pp. 63\u201369, 1996.","journal-title":"Software Concepts and Tools"},{"key":"51_CR4","unstructured":"ITU-T Recommendation Z.120, Message Sequence Chart (MSC), March 1993."},{"key":"51_CR5","doi-asserted-by":"crossref","unstructured":"R.P. Kurshan, Computer-Aided Verification, Princeton University Press, 1994.","DOI":"10.1007\/978-1-4615-3556-0"},{"key":"51_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT (FASE)'97, Theory and Practice of Software Development","author":"V. Levin","year":"1997","unstructured":"V. Levin, D. Peled. Verification of Message Sequence Charts via Template Matching, TAPSOFT (FASE)'97, Theory and Practice of Software Development, Lille, France. Lecture Notes in Computer Science. Springer, 1997."},{"key":"51_CR7","unstructured":"A. Muscholl, D. Peled, Z. Su, Deciding Properties for Message Sequence Charts, FoSSaCS, Foundations of Software Science and Computation Structures, Lisbon, Portugal."},{"key":"51_CR8","unstructured":"B. Selic, G. Gullekson, P.T. Ward, Real-Time Object-Oriented Modeling, Wiley, 1994."},{"key":"51_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/321105.321107","volume":"9","author":"S. Warshall","year":"1962","unstructured":"S. Warshall. A theorem on boolean matrices. Journal of the ACM, 9 (1962), pp. 11\u201312.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0028776","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:23:30Z","timestamp":1586593410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0028776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646082","9783540693390"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0028776","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}